I've asked for help on the minisat mailinglist, bug I'm still waiting for further inputs. I might upload some partly fixed man-page later on today, if time permits.
Best, Michael ----- Forwarded message from Michael Tautschnig <[EMAIL PROTECTED]> ----- Date: Tue, 14 Oct 2008 10:59:42 +0200 From: Michael Tautschnig <[EMAIL PROTECTED]> To: [EMAIL PROTECTED] Subject: Meaning of minisat2 options? User-Agent: Mutt/1.5.18 (2008-05-17) Hi! I've written a minimalistic man-page for the Debian package of minisat2, but it lacks documentation for some of the options, because I was too lazy to look into to code to understand them. Could you give me a short documentation of the options -asymm -rcheck -grow <num> [ >0 ] -decay <num> [ 0 - 1 ] -rnd-freq <num> [ 0 - 1 ] Thanks, Michael ----- End forwarded message -----
pgpo5NsKo6q51.pgp
Description: PGP signature
