-
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
* doc/org/index.org: Add links to the hierarchy and sat-minimization. * doc/org/satmin.org: Show how to use glucose.