CaDiCaL Simplified Satisfiability Solver
The goal of the development of CaDiCaL was to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout science/cadical && cd $_ - Create Badge
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _service | 0000000595 595 Bytes | |
| cadical-2.1.1.obscpio | 0002914316 2.78 MB | |
| cadical.changes | 0000000298 298 Bytes | |
| cadical.obsinfo | 0000000096 96 Bytes | |
| cadical.spec | 0000001688 1.65 KB |
Comments 0