issues
search
MfesGA
/
Smtlib
Parser for smt-lib Command responses
MIT License
2
stars
6
forks
source link
SMT-LIB2 comment
#9
Open
msakai
opened
8 years ago
msakai
commented
8 years ago
This patch makes the parser to accept comment syntax in SMT-LIB2.
This patch makes the parser to accept comment syntax in SMT-LIB2.