summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.h
Commit message (Collapse)AuthorAge
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-14
|
* Fixed trailing whitespacesClifford Wolf2015-07-02
|
* Improved performance in equiv_simpleClifford Wolf2015-02-01
|
* Added statehash to ezSATClifford Wolf2014-12-29
|
* Various win32 / vs build fixesClifford Wolf2014-10-17
|
* 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
|
* Improved ezsat stand-alone testsClifford Wolf2014-05-06
|
* 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
|
* Removed ezSAT::assumed() APIClifford Wolf2014-03-01
|
* Added support for Minisat::SimpSolver + ezSAT frezze() APIClifford Wolf2014-02-23
|
* Added ezsat vec_const() apiClifford Wolf2013-11-25
|
* Removed undef feature from ezsat 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
|
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-09
|
* Improved sat generator and sat_solve passClifford Wolf2013-06-07
|
* Added ezSAT libraryClifford Wolf2013-06-07