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 8, 2012

• 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

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 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 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

Commits on Jul 8, 2011

• 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 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

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

• 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 7, 2011

• Added a 'printStats()' method to the Solver class.

  Show description for cec52e9
  niklasso

  committed
  cec52e9View commit details

  Copy full SHA for cec52e9

  View code at this pointBrowse repository at this point

Commits on Mar 16, 2011

• Also handle the SIGTERM signal.

  niklasso

  committed
  7d0d749View commit details

  Copy full SHA for 7d0d749

  View code at this pointBrowse repository at this point

Commits on Feb 1, 2011

• Always respect user polarities.

  Show description for 8f7bb56
  niklasso

  committed
  8f7bb56View commit details

  Copy full SHA for 8f7bb56

  View code at this pointBrowse repository at this point

Commits on Jan 7, 2011

• Fix various warnings.

  niklasso

  committed
  5a71d18View commit details

  Copy full SHA for 5a71d18

  View code at this pointBrowse repository at this point

Commits on Dec 10, 2010

• Refactoring + new GNU Make system

  Show description for 1328a8d
  niklasso

  committed
  1328a8dView commit details

  Copy full SHA for 1328a8d

  View code at this pointBrowse repository at this point

Loading