aboutsummaryrefslogtreecommitdiffstats
path: root/libs/ezsat/ezminisat.cc
Commit message (Expand)AuthorAgeFilesLines
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-251-1/+5
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
* Header changes so it will compile on VSWilliam Speirs2014-10-171-1/+4
* Disabled ezminisat timeout feature for Win32Clifford Wolf2014-10-111-0/+6
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-101-2/+2
* Removed Minisat dependency on zlibClifford Wolf2014-07-251-0/+1
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-211-1/+4
* Fixed ezSAT stand-alone buildClifford Wolf2014-07-211-7/+2
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-121-2/+7
* Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosysClifford Wolf2014-03-111-4/+8
* Added ezSAT::eliminated API to help the SAT solver remember eliminated variablesClifford Wolf2014-03-011-0/+8
* ezSAT bugfix: don't call virtual methods in base class constructorClifford Wolf2014-03-011-0/+3
* Added support for Minisat::SimpSolver + ezSAT frezze() APIClifford Wolf2014-02-231-3/+34
* Added ezMiniSat EZMINISAT_INCREMENTAL compile-time optionClifford Wolf2014-02-221-1/+16
* Made MiniSat solver backend configurable in ezminisat.hClifford Wolf2014-02-221-2/+5
* Removed undef feature from ezsat apiClifford Wolf2013-11-251-8/+2
* Changed MiniSAT feater defines againClifford Wolf2013-10-311-2/+3
* Fixed ezminisat C++ errors: undef PRIi64Clifford Wolf2013-10-301-1/+2
* Fixed minisat includeClifford Wolf2013-10-111-1/+1
* Fixed gcc warnings in ezminisatClifford Wolf2013-07-051-2/+2
* Added timout functionality to SAT solverClifford Wolf2013-06-201-1/+37
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-091-5/+16
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-081-6/+9
* Added ezSAT libraryClifford Wolf2013-06-071-0/+120