Parsing 'unknown' response of (check-sat) correctly

MfesGA / Smtlib

Parser for smt-lib Command responses

MIT License

2 stars 6 forks source link

Open msakai opened 8 years ago

msakai commented 8 years ago

This PR allow parsing 'unknown' response of (check-sat) correctly.

Since 'unsat' and 'unknown' shares common prefix 'un', it is necessary to use 'try' combinator.