diff options
Diffstat (limited to 'src/sat/bsat2/AbcApi.cpp')
-rw-r--r-- | src/sat/bsat2/AbcApi.cpp | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/src/sat/bsat2/AbcApi.cpp b/src/sat/bsat2/AbcApi.cpp new file mode 100644 index 00000000..e92044db --- /dev/null +++ b/src/sat/bsat2/AbcApi.cpp @@ -0,0 +1,59 @@ +/**CFile**************************************************************** + + FileName [AbcApi.cpp] + + PackageName [A C++ version of SAT solver MiniSAT 2.2 developed + by Niklas Sorensson and Niklas Een. http://minisat.se.] + + Synopsis [Interface to the SAT solver.] + + Author [Niklas Sorensson and Niklas Een.] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - January 1, 2004.] + + Revision [$Id: AbcApi.cpp,v 1.0 2004/01/01 1:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "Solver.h" +#include "sat/cnf/cnf.h" + +ABC_NAMESPACE_IMPL_START + +using namespace Minisat; + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Abc_CallMiniSat22( Cnf_Dat_t * p ) +{ + Solver S; + int Result = -1; + return Result; +} + + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END |