Commits

Commits on Feb 27, 2022

Update cmake to 2.8.12
agurfinkel
committedFeb 27, 2022

Commits on Sep 4, 2020

fix(cmake): set policy to remove warning
agurfinkel
committedSep 4, 2020

Commits on Nov 12, 2017

Fixed a compatibility issue with Visual Studio 2015 and newer (#1 )

mElBalkini
authored and
agurfinkel
committedNov 12, 2017

Commits on Oct 16, 2017

Fix memUSedPeak() to be compliant with current compilers
agurfinkel
committedOct 16, 2017
Fix definition of mkLit to be C++11 compliant
agurfinkel
committedOct 16, 2017
Fix print statements to be C++11 compliant
agurfinkel
committedOct 16, 2017

Commits on Sep 25, 2013

Support returning actual peak-memory instead of reverting to current usage
niklasso
committedSep 25, 2013

Commits on Nov 19, 2012

Also relocate clauses on the subsumption queue.
niklasso
committedNov 19, 2012

Commits on Oct 31, 2012

Silence DIMACS warnings by default.
niklasso
committedOct 31, 2012

Commits on Mar 29, 2012

Move the random-generator to a more generic location.
niklasso
committedMar 29, 2012

Commits on Mar 16, 2012

Introduce a minimum limit for learned clauses.
niklasso
committedMar 16, 2012

Commits on Mar 8, 2012

Introduce literal sets (LSet) and use it to store 'conflict'.
niklasso
committedMar 8, 2012
New specialized 'addClause' for 4-clauses.
niklasso
committedMar 8, 2012

Commits on Feb 27, 2012

Fix more parentheses warnings.
niklasso
committedFeb 27, 2012
Patch submitted by Niklas Een.
niklasso
committedFeb 27, 2012

Commits on Dec 5, 2011

Fix an ancient bug in 'SimpSolver::implied()'.
niklasso
committedDec 5, 2011

Commits on Oct 11, 2011

Revert "Extend a couple of parsing functions to treat newline as significant."
niklasso
committedOct 11, 2011

Commits on Oct 5, 2011

Add iterators to IntMap.
niklasso
committedOct 5, 2011

Commits on Sep 26, 2011

Simple way to disable extending models.
niklasso
committedSep 26, 2011
Add preliminary support for "releaseVar()" method.
niklasso
committedSep 26, 2011

Commits on Sep 22, 2011

Generalize remove/find to work on vector-like types with unsigned size.
niklasso
committedSep 22, 2011
Revert to using copy constructor in Vec::push() rather than assignment.
niklasso
committedSep 22, 2011

Commits on Sep 12, 2011

Extend a couple of parsing functions to treat newline as significant.
niklasso
committedSep 12, 2011

Commits on Aug 10, 2011

Main: Allow writing dimacs at the end of interrupted solve.
niklasso
committedAug 10, 2011
Add a remove method to the Heap class.
niklasso
committedAug 10, 2011

Commits on Jul 8, 2011

Add an 'implies()' method that allows to check result of one propagation.
niklasso
committedJul 8, 2011
Change the heap implementation to use IntMaps for the heap-indices.
niklasso
committedJul 8, 2011

Commits on Jul 6, 2011

Add the 'has()' operation to IntMaps.
niklasso
committedJul 6, 2011

Commits on Jul 1, 2011

Commits on May 30, 2011

Lazier removal of deleted clauses in 'propagate()'.
niklasso
committedMay 30, 2011

Commits on May 25, 2011

Forgot to remove declaration.
niklasso
committedMay 25, 2011
Refactor garbage collection slightly.
niklasso
committedMay 25, 2011