Changes between Initial Version and Version 5 of Ticket #26361


Ignore:
Timestamp:
09/28/18 23:04:08 (3 years ago)
Author:
tmonteil
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #26361

    • Property Commit changed from to 38d09ebc35e5b1ee4a00e689c54af225144943ea
    • Property Branch changed from to u/tmonteil/glucose_sat_solver

  • Ticket #26361 – Description

    initial v5  
    11This ticket adds a glucose optional package, and fixes the old glucose interface.
     2
     3Tarball: http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-4.1.tgz