Conan Center has stopped receiving updates for Conan 1.x packages. A new https://center2.conan.io Conan 2-only remote is now available. Read the blog post

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 ...