freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses	Yuri Victorovich	2018-02-03	1	-0/+11
	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 Notes: svn path=/head/; revision=460848