sat.h
satInt.h
satPkg.c
satResult.c
satSimSolver.c
satSolver.c
satUtils.c
satZChaffSolver.c
By: Roberto Cavada
By: Roberto Cavada
By: Roberto Cavada
This module contains all the sat package handling functions
By: Roberto Cavada
The generic sat result type is defined in this module.
By: Roberto Cavada
This module contains an implementation of the SatSolver class, which maps the SIM solver specific sat solver.
See AlsosatSolver
By: Roberto Cavada
This module keeps the generic sat solver container, while any specific solver implementation must be located in a dedicated module.
See AlsosatStruct,
Bmc.bmcHLSat
By: Roberto Cavada
By: Roberto Cavada
This module contains an implementation of the SatSolver class, which maps the ZCHAFF solver specific sat solver.
See AlsosatSolver