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