-
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