CVC3  2.4.1
Classes | Namespaces
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"

Go to the source code of this file.

Classes

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

Namespaces

namespace  SAT

Detailed Description

Generic DPLL(T) module.

Author: Clark Barrett

Created: Mon Dec 12 16:28:08 2005

Definition in file dpllt.h.