aboutsummaryrefslogtreecommitdiffstats
path: root/libs/ezsat/ezminisat.cc
Commit message (Collapse)AuthorAgeFilesLines
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* Add WASI platform support.whitequark2020-04-301-5/+6
| | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function.
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-251-1/+5
| | | | | | | | | | | | | | | | | Replace; #define __STDC_LIMIT_MACROS #define __STDC_FORMAT_MACROS With #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS #endif #ifndef __STDC_FORMAT_MACROS #define __STDC_FORMAT_MACROS #endif This fixes a compile warning if you are defining these macros in your CXXFLAGS (as some distros do).
* 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
| | | | (see https://github.com/cliffordwolf/yosys/pull/28)
* 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