From 74e445ad6689e526d5cda00cefb545421756d5e9 Mon Sep 17 00:00:00 2001 From: Mathias Soeken Date: Mon, 6 Mar 2017 16:39:51 +0100 Subject: Exact synthesis. --- src/base/abci/abcExact.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/abci/abcExact.c') 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 ); } -- cgit v1.2.3