SatMinisat_ptr 
SatMinisat_create(
  const char* name 
)
The first parameter is the name of the solver.


void 
SatMinisat_destroy(
  SatMinisat_ptr  self 
)
Destroys an instance of a MiniSat SAT solver


SatZchaff_ptr 
SatZchaff_create(
  const char* name 
)
The first parameter is the name of the solver.


void 
SatZchaff_destroy(
  SatZchaff_ptr  self 
)
The first parameter is the name of the solver.


Last updated on 2010/05/19 15h:56