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

Fix typo in the pigeon hole test description #14

Closed rixed closed 6 years ago

Gbury commented 6 years ago

Looks good. You might want to consider sending the patches upstream to the website where I got these files (the link is in the README file).