abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
AbcApi.cpp
Go to the documentation of this file.
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 ***********************************************************************/
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
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Cnf_Dat_t_
Definition: cnf.h:56
Abc_CallMiniSat22
int Abc_CallMiniSat22(Cnf_Dat_t *p)
DECLARATIONS ///.
Definition: AbcApi.cpp:46
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition: abc_global.h:108
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition: abc_global.h:107
S
static shot S[256]
Definition: kitPerm.c:40