sat.h
External header file
satInt.h
Internal header file
satPkg.c
Sat.Pkg module
satResult.c
Sat-related result structure
satSimSolver.c
Sat.SimSolver module, the SIM solver wrapper
satSolver.c
Sat.Solver module
satUtils.c
Sat utilities module
satZChaffSolver.c
Sat.ZChaffSolver module, the ZCHAFF solver wrapper

sat.h

External header file

By: Roberto Cavada


satInt.h

Internal header file

By: Roberto Cavada


satPkg.c

Sat.Pkg module

By: Roberto Cavada

This module contains all the sat package handling functions


satResult.c

Sat-related result structure

By: Roberto Cavada

The generic sat result type is defined in this module.


satSimSolver.c

Sat.SimSolver module, the SIM solver wrapper

By: Roberto Cavada

This module contains an implementation of the SatSolver class, which maps the SIM solver specific sat solver.

See AlsosatSolver


satSolver.c

Sat.Solver module

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


satUtils.c

Sat utilities module

By: Roberto Cavada


satZChaffSolver.c

Sat.ZChaffSolver module, the ZCHAFF solver wrapper

By: Roberto Cavada

This module contains an implementation of the SatSolver class, which maps the ZCHAFF solver specific sat solver.

See AlsosatSolver


Last updated on 2004/06/23 13h:45