Commits

Breadcrumbs

History for

onmsvc

User selector

All users

All time

Commit history

Commits on Jun 19, 2013

• Modifications for compilation in Windows (without Zlib)

  PetterS

  committed
  493d16dView commit details

  Copy full SHA for 493d16d

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• New specialized 'addClause' for 4-clauses.

  niklasso

  committed
  f7cd4c6View commit details

  Copy full SHA for f7cd4c6

  View code at this pointBrowse repository at this point

Commits on Feb 27, 2012

• Fix more parentheses warnings.

  niklasso

  committed
  146346bView commit details

  Copy full SHA for 146346b

  View code at this pointBrowse repository at this point

• Patch submitted by Niklas Een.

  Show description for d699be0
  niklasso

  committed
  d699be0View commit details

  Copy full SHA for d699be0

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

Commits on Oct 5, 2011

• Add iterators to IntMap.

  niklasso

  committed
  30909acView commit details

  Copy full SHA for 30909ac

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

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

  Show description for 0c0bb0d
  niklasso

  committed
  0c0bb0dView commit details

  Copy full SHA for 0c0bb0d

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• Add a remove method to the Heap class.

  niklasso

  committed
  8d018edView commit details

  Copy full SHA for 8d018ed

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

• Use VMap for variable activity.

  niklasso

  committed
  d4fea75View commit details

  Copy full SHA for d4fea75

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

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

  niklasso

  committed
  c008424View commit details

  Copy full SHA for c008424

  View code at this pointBrowse 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

  View code at this pointBrowse repository at this point

Commits on May 25, 2011

• Forgot to remove declaration.

  niklasso

  committed
  5c24ca6View commit details

  Copy full SHA for 5c24ca6

  View code at this pointBrowse repository at this point

• Refactor garbage collection slightly.

  niklasso

  committed
  fc702b3View commit details

  Copy full SHA for fc702b3

  View code at this pointBrowse repository at this point

Commits on May 18, 2011

• Introduce new simpler freeze/thaw interface to SimpSolver.

  Show description for 33def9c
  niklasso

  committed
  33def9cView commit details

  Copy full SHA for 33def9c

  View code at this pointBrowse repository at this point

Commits on May 6, 2011

• Don't allocate StreamBuffers on the stack.

  niklasso

  committed
  3652e21View commit details

  Copy full SHA for 3652e21

  View code at this pointBrowse repository at this point

• Remove a warning on non-posix Windows builds.

  niklasso

  committed
  4c4b466View commit details

  Copy full SHA for 4c4b466

  View code at this pointBrowse repository at this point

• Only call "limitXXX" if the user actually set a limit.

  Show description for a74ac81
  niklasso

  committed
  a74ac81View commit details

  Copy full SHA for a74ac81

  View code at this pointBrowse repository at this point

Commits on Apr 28, 2011

• Portability fixes for resources, signals, etc + some cleanups.

  niklasso

  committed
  93b1810View commit details

  Copy full SHA for 93b1810

  View code at this pointBrowse repository at this point

Commits on Apr 15, 2011

• Changed 'litRedundant()' to more efficient version with negative caching.

  Show description for 3ad9f5d
  niklasso

  committed
  3ad9f5dView commit details

  Copy full SHA for 3ad9f5d

  View code at this pointBrowse repository at this point