-
Alexandre Duret-Lutz authored* src/misc/satsolver.cc: Add the "-model" option. * NEWS, doc/org/satmin.org, src/bin/man/spot-x.x: Mention it.
Alexandre Duret-Lutz authored* src/misc/satsolver.cc: Add the "-model" option. * NEWS, doc/org/satmin.org, src/bin/man/spot-x.x: Mention it.
To find the state of this project's repository at the time of any of these versions, check out the tags.
Loading