search

sambayless / monosat

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

Fix minor typo #13

Closed copumpkin closed 6 years ago