luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Experiments with SAT-based mapping.

This commit is contained in:
Alan Mishchenko 2016-01-10 21:06:04 -08:00
parent 1bbf239843
commit 7984628d7f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/base/abci/abc.c
View File

@ -22090,6 +22090,7 @@ int Abc_CommandDSat( Abc_Frame_t * pAbc, int argc, char ** argv )
fAndOuts = 0;
fNewSolver = 0;
fSilent = 0;
fShowPattern = 0;
fVerbose = 0;
nConfLimit = 0;
nInsLimit = 0;