-
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.
eb778c56
To find the state of this project's repository at the time of any of these versions, check out the tags.