Lingeling SAT Solver
Lingeling, Plingeling and Treengeling. The parallel portfolio front-end Plingeling was ranked on the first place on unsatisfiable instances in the parallel track of the SAT Competition 2020, and second place overall in the parallel track.
$
pkg install lingelingOrigin
math/lingeling
Size
4.99MiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
0 packages
Required by
0 packages