solvers Directory Reference

Directory dependency graph for solvers:

Directories
directory	bdd
directory	flattening
directory	floatbv
directory	lowering
directory	prop
directory	qbf
directory	refinement
directory	sat
directory	smt2
directory	smt2_incremental
directory	strings

Files
file	conflict_provider.h [code]
	Capability to check whether an expression is a reason for the solver returning UNSAT.
file	decision_procedure.cpp [code]
	Decision Procedure Interface.
file	decision_procedure.h [code]
	Decision Procedure Interface.
file	hardness_collector.h [code]
	Capability to collect the statistics of the complexity of individual solver queries.
file	stack_decision_procedure.h [code]
	Decision procedure with incremental solving with contexts and assumptions.