Commits

Breadcrumbs

History for

onmsvc

User selector

All users

Datepicker

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 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 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 Sep 26, 2011

• 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

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

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

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

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

• Add user-level iterators for clauses and assignments.

  niklasso

  committed
  054ac66View commit details

  Copy full SHA for 054ac66

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

• Clean up the ClauseAllocator slightly.

  niklasso

  committed
  b06c247View commit details

  Copy full SHA for b06c247

  View code at this pointBrowse repository at this point

• Make relocation code nicer by a new "copy-constructor" for clauses.

  niklasso

  committed
  b4eb192View commit details

  Copy full SHA for b4eb192

  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

• Bugfix: really use the passed assumptions in 'toDimacs()'.

  niklasso

  committed
  25c9975View commit details

  Copy full SHA for 25c9975

  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