UnsatCoreFinder Class Reference

List of all members.

Public Member Functions
	UnsatCoreFinder (CNode *c, set< CNode * > &must_assignments)
CNode *	get_unsat_core ()

---

The documentation for this class was generated from the following files:

• solver/UnsatCoreFinder.h
• solver/UnsatCoreFinder.cpp