freebsd-ports/math/glucose/distinfo
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

4 lines
158 B
Plaintext

TIMESTAMP = 1517475160
SHA256 (glucose-syrup-4.1.tgz) = 51aa1cf1bed2b14f1543b099e85a56dd1a92be37e6e3eb0c4a1fd883d5cc5029
SIZE (glucose-syrup-4.1.tgz) = 82779