freebsd-ports/math/glucose/distinfo

TIMESTAMP = 1517475160
SHA256 (glucose-syrup-4.1.tgz) = 51aa1cf1bed2b14f1543b099e85a56dd1a92be37e6e3eb0c4a1fd883d5cc5029
SIZE (glucose-syrup-4.1.tgz) = 82779
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 21:59:14 +01:00			`TIMESTAMP = 1517475160`
			`SHA256 (glucose-syrup-4.1.tgz) = 51aa1cf1bed2b14f1543b099e85a56dd1a92be37e6e3eb0c4a1fd883d5cc5029`
			`SIZE (glucose-syrup-4.1.tgz) = 82779`