CVC3
|
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 |
Generic DPLL(T) module.
Author: Clark Barrett
Created: Mon Dec 12 16:28:08 2005
Definition in file dpllt.h.