Simple CDCL satisfiability solver
The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change.
$
pkg install cadicalOrigin
math/cadical
Size
5.35MiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
0 packages
Required by
5 packages