summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.cc
Commit message (Expand)AuthorAge
* Added statehash to ezSATClifford Wolf2014-12-29
* Fixed various VS warningsClifford Wolf2014-10-18
* More win32 (mxe and vs) build fixesClifford Wolf2014-10-17
* Not using std::to_string in ezsat (problems with mingw)Clifford Wolf2014-10-11
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-10
* Added native support for shift operations to ezSATClifford Wolf2014-07-30
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-21
* Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosysClifford Wolf2014-03-11
* ezSAT: Added frozen_literal() APIClifford Wolf2014-03-03
* ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressionsClifford Wolf2014-03-03
* Added ezSAT::eliminated API to help the SAT solver remember eliminated variablesClifford Wolf2014-03-01
* ezSAT bugfix: don't call virtual methods in base class constructorClifford Wolf2014-03-01
* Removed ezSAT::assumed() APIClifford Wolf2014-03-01
* Removed ezSAT built-in brute-froce solverClifford Wolf2014-03-01
* Added support for Minisat::SimpSolver + ezSAT frezze() APIClifford Wolf2014-02-23
* Improved non-verbose ezSAT::printDIMACS() formatClifford Wolf2014-02-18
* Added ezsat vec_const() apiClifford Wolf2013-11-25
* Added ezsat api for creation of anonymous vectorsClifford Wolf2013-08-15
* Added SAT support for $div and $mod cellsClifford Wolf2013-08-11
* Added timout functionality to SAT solverClifford Wolf2013-06-20
* Fixed gcc build (c++11 stuff in ezSAT)Clifford Wolf2013-06-12
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-08
* Improved sat generator and sat_solve passClifford Wolf2013-06-07
* Added ezSAT libraryClifford Wolf2013-06-07