SatMinisat_create()
Creates a Minisat SAT solver and initializes it.
SatMinisat_destroy()
Destroys an instance of a MiniSat SAT solver
SatZchaff_create()
Creates a Zchaff SAT solver and initializes it.
SatZchaff_destroy()
Destroys a Zchaff SAT solver instence

Last updated on 2011/04/06 21h:13