Changes between Initial Version and Version 5 of Ticket #26361
- Timestamp:
- 09/28/18 23:04:08 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #26361
-
Property
Commit
changed from
to
38d09ebc35e5b1ee4a00e689c54af225144943ea
-
Property
Branch
changed from
to
u/tmonteil/glucose_sat_solver
-
Property
Commit
changed from
-
Ticket #26361 – Description
initial v5 1 1 This ticket adds a glucose optional package, and fixes the old glucose interface. 2 3 Tarball: http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-4.1.tgz