Yuri Victorovich eb924c41bc New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses ...

See the full description here:
http://www.labri.fr/perso/lsimon/glucose/

Patches and build warnings were reported to the authors.

Submitted by:	myself
Approved by:	adamw (mentor)
Differential Revision:	https://reviews.freebsd.org/D14156

2018-02-03 20:59:14 +00:00

..

files

…

distinfo

…

Makefile

…

pkg-descr

…