search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
108 stars 30 forks source link

Fix Markup of Link in Readme #4

Closed Hirse closed 7 years ago