K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-02-03T20:59:14.608654Z
K 7
svn:log
V 320
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

END