search

MfesGA / Smtlib

Parser for smt-lib Command responses
MIT License
2 stars 6 forks source link

Quoting symbols when necessary #33

Open msakai opened 8 years ago

msakai commented 8 years ago

This changes the printer to quote symbols if the symbol cannot be simple symbols.

This PR is intended to be merged after PR #12, #18, #20, #26 .