SatSim.c
Routines related to SatSim object.

SatSim.c

Routines related to SatSim object.

By: Andrei Tchaltsev, Roberto Cavada

This file contains the definition of "SatSim" class. SatSim (non-incremental) solver implementation of the generic SatSolver clas

SatSim_create()
Creates a Sim SAT solver and initializes it.
SatSim_destroy()
Destroys an instance of a Sim SAT solver
sat_sim_compare()
Compares two variables indexes
sat_sim_add()
Adds a clause to the solver database.
sat_sim_set_polarity()
Sets the polarity of the formula.
sat_sim_solve_all_groups()
Tries to solve all added formulas
sat_sim_make_model()
This function should never be invoked since the actual model is generated in 'solve' method
sat_sim_init()
Initializes Sat Sim object.
sat_sim_deinit()
Deinitializes SatSim object.
sat_sim_finalize()
Sat Sim finalize method.

Last updated on 2009/01/30 15h:04