| /**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 |
