Formula
cadical
Clean and efficient state-of-the-art SAT solver
- Version
- 3.0.1
- License
- MIT
- Homepage
- https://fmv.jku.at/cadical/
- Installs (30 days)
- 26
- Categories
- AI & Data Science
- Tags
- sat-solver
brew install cadicalFormula
Clean and efficient state-of-the-art SAT solver
brew install cadical