From 3249822be39fed703102c8f7736699b26a2dea59 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Fri, 4 Sep 2009 13:56:44 +0000 Subject: [PATCH] Header file I meant to checkin with #180 git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@184 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/sat.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 src/sat/sat.h diff --git a/src/sat/sat.h b/src/sat/sat.h new file mode 100644 index 0000000..f17456c --- /dev/null +++ b/src/sat/sat.h @@ -0,0 +1,20 @@ +#ifndef SAT_H_ +#define SAT_H_ + +#include "core/Solver.h" +#include "core/SolverTypes.h" +//#include "../sat/simp/SimpSolver.h" +//#include "../sat/unsound/UnsoundSimpSolver.h" + + +#endif /* SAT_H_ */ +#ifndef SAT_H_ +#define SAT_H_ + +#include "core/Solver.h" +#include "core/SolverTypes.h" +//#include "../sat/simp/SimpSolver.h" +//#include "../sat/unsound/UnsoundSimpSolver.h" + + +#endif /* SAT_H_ */ -- 2.47.3