minimalism!
53 views
Skip to first unread message
mkber...@gmail.com
Oct 16, 2017, 10:22:43 AM10/16/17
to MiniSat
What is meant when it is said that minisat is a 'minimalistic' solver?
Michael Tautschnig
Oct 17, 2017, 9:39:39 AM10/17/17
to min...@googlegroups.com
On Sun, Oct 15, 2017 at 6:09:26 -0700, mkber...@gmail.com wrote:
> What is meant when it is said that minisat is a 'minimalistic' solver?
>
MiniSat's code base is very compact and the key parts are well documented in
> What is meant when it is said that minisat is a 'minimalistic' solver?
>
just a single paper (http://minisat.se/downloads/MiniSat.pdf).
Hope this helps,
Michael
Reply all
Reply to author
Forward
0 new messages