dpllt.h File Reference

Generic DPLL(T) module. More...

#include "queryresult.h"
#include "cnf.h"
#include "cnf_manager.h"
#include "proof.h"
#include "theory_core.h"

Include dependency graph for dpllt.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

• namespace SAT

Classes

• class SAT::DPLLT
• class SAT::DPLLT::TheoryAPI
• class SAT::DPLLT::Decider

---

Detailed Description

Generic DPLL(T) module.

Author: Clark Barrett

Created: Mon Dec 12 16:28:08 2005

Definition in file dpllt.h.

---