Generic DPLL(T) module. More...
#include "queryresult.h"#include "cnf.h"#include "cnf_manager.h"#include "proof.h"#include "theory_core.h"
This graph shows which files directly or indirectly include this file:
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.
