-
Alexandre Duret-Lutz authored
* doc/org/index.org: Add links to the hierarchy and sat-minimization. * doc/org/satmin.org: Show how to use glucose.
21e2d9bb
To learn more about this project, read the wiki.
* doc/org/index.org: Add links to the hierarchy and sat-minimization. * doc/org/satmin.org: Show how to use glucose.