search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

Fix assertion bugs, handle AppleClang compiler ID #22

Closed bkocik closed 5 years ago

bkocik commented 5 years ago

As discussed...

sambayless commented 5 years ago

Good catches, thanks!