minisat/2.2.0

minimalistic SAT solver
satisfiabilitysolver
Recipe info
MIT
View recipe on GitHub
minisat.se
2023-09-15
4fb3a84622b52800cac...
Available packages
Linux
Windows
macOS
macOS Apple Silicon
Install
Add the following line to your conanfile.txt:
[requires]
minisat/2.2.0

Using minisat

Loading ...