cadical
Formula Utilities v3.0.0
Clean and efficient state-of-the-art SAT solver
Install 1
App in
Terminal
$
brew install 'cadical'
Install Statistics 33.3% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 32 | 72 | 267 |
| Avg Daily Installs | 1 | 1 | 1 |