mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-03 06:04:53 +00:00
5 lines
164 B
Plaintext
5 lines
164 B
Plaintext
|
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.
|
||
|
|
|
||
|
|
WWW: http://fmv.jku.at/cadical/
|