diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2017-03-06 16:39:51 +0100 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2017-03-06 16:39:51 +0100 |
| commit | 74e445ad6689e526d5cda00cefb545421756d5e9 (patch) | |
| tree | 0f875c59dd9a0ca80bfd1284a9e6277ea9cee0fd /src/base | |
| parent | 574cf1022d9de90927b68586589db99408aff17d (diff) | |
| download | abc-74e445ad6689e526d5cda00cefb545421756d5e9.tar.gz abc-74e445ad6689e526d5cda00cefb545421756d5e9.tar.bz2 abc-74e445ad6689e526d5cda00cefb545421756d5e9.zip | |
Exact synthesis.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcExact.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index c9cb4e32..2fbf63dd 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -1428,7 +1428,7 @@ static int Ses_ManCreateClauses( Ses_Man_t * pSes ) { pLits[0] = Abc_Var2Lit( Ses_ManSelectVar( pSes, i, j, k ), 1 ); pLits[1] = Abc_Var2Lit( Ses_ManSelectVar( pSes, ii, j, k ), 1 ); - pLits[1] = Abc_Var2Lit( Ses_ManSelectVar( pSes, iii, i, ii ), 1 ); + pLits[2] = Abc_Var2Lit( Ses_ManSelectVar( pSes, iii, i, ii ), 1 ); sat_solver_addclause( pSes->pSat, pLits, pLits + 3 ); } |