search

Gbury / mSAT

A modular sat/smt solver with proof output.
https://gbury.github.io/mSAT/
Apache License 2.0
97 stars 8 forks source link

feat: allow to set the default polarity of variables at creation time #24

Closed c-cube closed 3 years ago

c-cube commented 4 years ago

would close #23