Commits

Branch selector

multi-confl

User selector

All users

All time

Commit history

Commits on Jun 23, 2026

• computeLBD: guard the level-stamp generation counter against uint32 wrap

  Show description for a15fdaf
  

  jake-ke

  and

  claude

  committed
  a15fdafView commit details

  Copy full SHA for a15fdaf

  Browse repository at this point

Commits on Jun 22, 2026

• Add multi-conflict learning machinery (propagateMulti + 4 variants)

  Show description for 720f4db
  

  jake-ke

  and

  claude

  committed
  720f4dbView commit details

  Copy full SHA for 720f4db

  Browse repository at this point

Commits on Feb 27, 2022

• Update cmake to 2.8.12

  agurfinkel

  committed
  281c31eView commit details

  Copy full SHA for 281c31e

  Browse repository at this point

Commits on Sep 4, 2020

• fix(cmake): set policy to remove warning

  agurfinkel

  committed
  0f8be3aView commit details

  Copy full SHA for 0f8be3a

  Browse repository at this point

Commits on Nov 12, 2017

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

  Show description for 9570936
  

  mElBalkini

  authored and

  agurfinkel

  committed
  9570936View commit details

  Copy full SHA for 9570936

  Browse repository at this point

Commits on Oct 16, 2017

• Fix memUSedPeak() to be compliant with current compilers

  agurfinkel

  committed
  41f5643View commit details

  Copy full SHA for 41f5643

  Browse repository at this point

• Fix definition of mkLit to be C++11 compliant

  agurfinkel

  committed
  9256ff3View commit details

  Copy full SHA for 9256ff3

  Browse repository at this point

• Fix print statements to be C++11 compliant

  agurfinkel

  committed
  1443ae0View commit details

  Copy full SHA for 1443ae0

  Browse repository at this point

Commits on Sep 25, 2013

• Support returning actual peak-memory instead of reverting to current usage

  niklasso

  committed
  37dc6c6View commit details

  Copy full SHA for 37dc6c6

  Browse repository at this point

Commits on Nov 19, 2012

• Also relocate clauses on the subsumption queue.

  niklasso

  committed
  cd3a2d6View commit details

  Copy full SHA for cd3a2d6

  Browse repository at this point

Commits on Oct 31, 2012

• Silence DIMACS warnings by default.

  Show description for 386e4f3
  niklasso

  committed
  386e4f3View commit details

  Copy full SHA for 386e4f3

  Browse repository at this point

Commits on Mar 29, 2012

• Move the random-generator to a more generic location.

  niklasso

  committed
  080d3dbView commit details

  Copy full SHA for 080d3db

  Browse repository at this point

Commits on Mar 16, 2012

• Introduce a minimum limit for learned clauses.

  niklasso

  committed
  149205aView commit details

  Copy full SHA for 149205a

  Browse repository at this point

Commits on Mar 8, 2012

• Introduce literal sets (LSet) and use it to store 'conflict'.

  niklasso

  committed
  1732cffView commit details

  Copy full SHA for 1732cff

  Browse repository at this point

• New specialized 'addClause' for 4-clauses.

  niklasso

  committed
  f7cd4c6View commit details

  Copy full SHA for f7cd4c6

  Browse repository at this point

Commits on Feb 27, 2012

• Fix more parentheses warnings.

  niklasso

  committed
  146346bView commit details

  Copy full SHA for 146346b

  Browse repository at this point

• Patch submitted by Niklas Een.

  Show description for d699be0
  niklasso

  committed
  d699be0View commit details

  Copy full SHA for d699be0

  Browse repository at this point

Commits on Dec 5, 2011

• Fix an ancient bug in 'SimpSolver::implied()'.

  niklasso

  committed
  369fc3fView commit details

  Copy full SHA for 369fc3f

  Browse repository at this point

Commits on Oct 11, 2011

• Revert "Extend a couple of parsing functions to treat newline as significant."

  Show description for a1f981a
  niklasso

  committed
  a1f981aView commit details

  Copy full SHA for a1f981a

  Browse repository at this point

Commits on Oct 5, 2011

• Add iterators to IntMap.

  niklasso

  committed
  30909acView commit details

  Copy full SHA for 30909ac

  Browse repository at this point

Commits on Sep 26, 2011

• Simple way to disable extending models.

  niklasso

  committed
  1d2e1fcView commit details

  Copy full SHA for 1d2e1fc

  Browse repository at this point

• Add preliminary support for "releaseVar()" method.

  Show description for 0c0bb0d
  niklasso

  committed
  0c0bb0dView commit details

  Copy full SHA for 0c0bb0d

  Browse repository at this point

Commits on Sep 22, 2011

• Generalize remove/find to work on vector-like types with unsigned size.

  niklasso

  committed
  1e0fd32View commit details

  Copy full SHA for 1e0fd32

  Browse repository at this point

• Revert to using copy constructor in Vec::push() rather than assignment.

  niklasso

  committed
  6820591View commit details

  Copy full SHA for 6820591

  Browse repository at this point

Commits on Sep 12, 2011

• Extend a couple of parsing functions to treat newline as significant.

  niklasso

  committed
  4d3aa55View commit details

  Copy full SHA for 4d3aa55

  Browse repository at this point

Commits on Aug 10, 2011

• Main: Allow writing dimacs at the end of interrupted solve.

  Show description for 5ecc5b0
  niklasso

  committed
  5ecc5b0View commit details

  Copy full SHA for 5ecc5b0

  Browse repository at this point

• Add a remove method to the Heap class.

  niklasso

  committed
  8d018edView commit details

  Copy full SHA for 8d018ed

  Browse repository at this point

Commits on Jul 8, 2011

• Add an 'implies()' method that allows to check result of one propagation.

  niklasso

  committed
  94aef63View commit details

  Copy full SHA for 94aef63

  Browse repository at this point

• Change the heap implementation to use IntMaps for the heap-indices.

  niklasso

  committed
  5a01f08View commit details

  Copy full SHA for 5a01f08

  Browse repository at this point

Commits on Jul 6, 2011

• Add the 'has()' operation to IntMaps.

  niklasso

  committed
  9aa56a7View commit details

  Copy full SHA for 9aa56a7

  Browse repository at this point

Commits on Jul 1, 2011

• Complete re-factoring to use VMaps for Solver data.

  niklasso

  committed
  26f8354View commit details

  Copy full SHA for 26f8354

  Browse repository at this point

• Use VMap for variable activity.

  niklasso

  committed
  d4fea75View commit details

  Copy full SHA for d4fea75

  Browse repository at this point

• Add new IntMap class: essentially a restricted vector parametrized on keys.

  niklasso

  committed
  a451687View commit details

  Copy full SHA for a451687

  Browse repository at this point

• Parametrize vector class with respect to the "size-type".

  niklasso

  committed
  c008424View commit details

  Copy full SHA for c008424

  Browse repository at this point

Commits on May 30, 2011

• Lazier removal of deleted clauses in 'propagate()'.

  Show description for 7de6232
  niklasso

  committed
  7de6232View commit details

  Copy full SHA for 7de6232

  Browse repository at this point