At a Glance
| Applications | SAT Solver |
| Developers | University of Freiburg |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
CaDiCaL is a simplified satisfiability solver.
| Applications | SAT Solver |
| Developers | University of Freiburg |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
CaDiCaL is a simplified satisfiability solver.