1 /**CFile****************************************************************
2
3 FileName [AbcApi.cpp]
4
5 PackageName [A C++ version of SAT solver MiniSAT 2.2 developed
6 by Niklas Sorensson and Niklas Een. http://minisat.se.]
7
8 Synopsis [Interface to the SAT solver.]
9
10 Author [Niklas Sorensson and Niklas Een.]
11
12 Affiliation [UC Berkeley]
13
14 Date [Ver. 1.0. Started - January 1, 2004.]
15
16 Revision [$Id: AbcApi.cpp,v 1.0 2004/01/01 1:00:00 alanmi Exp $]
17
18 ***********************************************************************/
19
20 #include "Solver.h"
21 #include "sat/cnf/cnf.h"
22
23 ABC_NAMESPACE_IMPL_START
24
25 using namespace Minisat;
26
27 ////////////////////////////////////////////////////////////////////////
28 /// DECLARATIONS ///
29 ////////////////////////////////////////////////////////////////////////
30
31 ////////////////////////////////////////////////////////////////////////
32 /// FUNCTION DEFINITIONS ///
33 ////////////////////////////////////////////////////////////////////////
34
35 /**Function*************************************************************
36
37 Synopsis []
38
39 Description []
40
41 SideEffects []
42
43 SeeAlso []
44
45 ***********************************************************************/
Abc_CallMiniSat22(Cnf_Dat_t * p)46 int Abc_CallMiniSat22( Cnf_Dat_t * p )
47 {
48 Solver S;
49 int Result = -1;
50 return Result;
51 }
52
53
54 ////////////////////////////////////////////////////////////////////////
55 /// END OF FILE ///
56 ////////////////////////////////////////////////////////////////////////
57
58
59 ABC_NAMESPACE_IMPL_END
60