search

abenkhadra / gosat

SMT solver for the theory of floating-point arithmetic
MIT License
25 stars 8 forks source link

Add command line option `-smtlib-output` to produce SMT-LIBv2 compliant output. #4

Closed delcypher closed 6 years ago

abenkhadra commented 6 years ago

merged. thanks!