| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | minisat: Only define __STDC_XXX_MACROS if not already defined. | Tim 'mithro' Ansell | 2017-11-25 | 1 | -1/+5 |
| * | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -2/+2 |
| * | Header changes so it will compile on VS | William Speirs | 2014-10-17 | 1 | -1/+4 |
| * | Disabled ezminisat timeout feature for Win32 | Clifford Wolf | 2014-10-11 | 1 | -0/+6 |
| * | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 1 | -2/+2 |
| * | Removed Minisat dependency on zlib | Clifford Wolf | 2014-07-25 | 1 | -0/+1 |
| * | Added ezSAT::keep_cnf() and ezSAT::non_incremental() | Clifford Wolf | 2014-07-21 | 1 | -1/+4 |
| * | Fixed ezSAT stand-alone build | Clifford Wolf | 2014-07-21 | 1 | -7/+2 |
| * | Added libs/minisat (copy of minisat git master) | Clifford Wolf | 2014-03-12 | 1 | -2/+7 |
| * | Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys | Clifford Wolf | 2014-03-11 | 1 | -4/+8 |
| * | Added ezSAT::eliminated API to help the SAT solver remember eliminated variables | Clifford Wolf | 2014-03-01 | 1 | -0/+8 |
| * | ezSAT bugfix: don't call virtual methods in base class constructor | Clifford Wolf | 2014-03-01 | 1 | -0/+3 |
| * | Added support for Minisat::SimpSolver + ezSAT frezze() API | Clifford Wolf | 2014-02-23 | 1 | -3/+34 |
| * | Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option | Clifford Wolf | 2014-02-22 | 1 | -1/+16 |
| * | Made MiniSat solver backend configurable in ezminisat.h | Clifford Wolf | 2014-02-22 | 1 | -2/+5 |
| * | Removed undef feature from ezsat api | Clifford Wolf | 2013-11-25 | 1 | -8/+2 |
| * | Changed MiniSAT feater defines again | Clifford Wolf | 2013-10-31 | 1 | -2/+3 |
| * | Fixed ezminisat C++ errors: undef PRIi64 | Clifford Wolf | 2013-10-30 | 1 | -1/+2 |
| * | Fixed minisat include | Clifford Wolf | 2013-10-11 | 1 | -1/+1 |
| * | Fixed gcc warnings in ezminisat | Clifford Wolf | 2013-07-05 | 1 | -2/+2 |
| * | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 1 | -1/+37 |
| * | Added ezSAT api support for don't care values in models | Clifford Wolf | 2013-06-09 | 1 | -5/+16 |
| * | Fixes and improvements in ezSAT library | Clifford Wolf | 2013-06-08 | 1 | -6/+9 |
| * | Added ezSAT library | Clifford Wolf | 2013-06-07 | 1 | -0/+120 |
