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 2010/11/03 21h:54