Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 28, 2025

• Modifying the verbosity level of the start message

  marekpiotrow

  committed
  f5a634f

  Copy full SHA for f5a634f

Commits on Jun 13, 2024

• Fixing a compile problem with _FPU_EXTENDED on non-x64 architectures

  marekpiotrow

  committed
  97066c1

  Copy full SHA for 97066c1

• Revert "Fixing a compile problem with _FPU_GETCW on non-x64 architectures"

  marekpiotrow

  committed
  7892f31

  Copy full SHA for 7892f31

• Fixing a compile problem with _FPU_GETCW on non-x64 architectures

  marekpiotrow

  committed
  1b4e074

  Copy full SHA for 1b4e074

Commits on May 26, 2024

• Fixing a typo in the previous commit

  marekpiotrow

  committed
  2296390

  Copy full SHA for 2296390

• Changing sprintf to snprintf

  marekpiotrow

  committed
  75212f9

  Copy full SHA for 75212f9

Commits on Mar 18, 2024

• Fixing namespace problem in MacOS

  marekpiotrow

  committed
  c86b43e

  Copy full SHA for c86b43e

• Modifying the project to the version used in UWrMaxSat

  marekpiotrow

  committed
  58c7039

  Copy full SHA for 58c7039

Commits on Apr 27, 2018

• Correcting a bug that was workarounded by inserting into both heaps

  

  marekpiotrow

  authored and

  karpiu

  committed
  9c78323

  Copy full SHA for 9c78323

Commits on Apr 16, 2018

• Adding links to minisat subfolders

  

  marekpiotrow

  authored and

  karpiu

  committed
  63b68a1

  Copy full SHA for 63b68a1

Commits on Apr 13, 2018

• Adding some standard files

  

  marekpiotrow

  authored and

  karpiu

  committed
  fdbe7c3

  Copy full SHA for fdbe7c3

• Inserting variables into both heaps to avoid problems

  

  marekpiotrow

  authored and

  karpiu

  committed
  3a004a9

  Copy full SHA for 3a004a9

• SAT Competition 2016 version of COMiniSatPSChandrasekharDRUP.zip

  

  marekpiotrow

  authored and

  karpiu

  committed
  256ffe0

  Copy full SHA for 256ffe0

Commits on Sep 25, 2013

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

  niklasso

  committed
  37dc6c6

  Copy full SHA for 37dc6c6

Commits on Nov 19, 2012

• Also relocate clauses on the subsumption queue.

  niklasso

  committed
  cd3a2d6

  Copy full SHA for cd3a2d6

Commits on Oct 31, 2012

• Silence DIMACS warnings by default.

  Show description for 386e4f3
  niklasso

  committed
  386e4f3

  Copy full SHA for 386e4f3

Commits on Mar 29, 2012

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

  niklasso

  committed
  080d3db

  Copy full SHA for 080d3db

Commits on Mar 16, 2012

• Introduce a minimum limit for learned clauses.

  niklasso

  committed
  149205a

  Copy full SHA for 149205a

Commits on Mar 8, 2012

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

  niklasso

  committed
  1732cff

  Copy full SHA for 1732cff

• New specialized 'addClause' for 4-clauses.

  niklasso

  committed
  f7cd4c6

  Copy full SHA for f7cd4c6

Commits on Feb 27, 2012

• Fix more parentheses warnings.

  niklasso

  committed
  146346b

  Copy full SHA for 146346b

• Patch submitted by Niklas Een.

  Show description for d699be0
  niklasso

  committed
  d699be0

  Copy full SHA for d699be0

Commits on Dec 5, 2011

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

  niklasso

  committed
  369fc3f

  Copy full SHA for 369fc3f

Commits on Oct 11, 2011

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

  Show description for a1f981a
  niklasso

  committed
  a1f981a

  Copy full SHA for a1f981a

Commits on Oct 5, 2011

• Add iterators to IntMap.

  niklasso

  committed
  30909ac

  Copy full SHA for 30909ac

Commits on Sep 26, 2011

• Simple way to disable extending models.

  niklasso

  committed
  1d2e1fc

  Copy full SHA for 1d2e1fc

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

  Show description for 0c0bb0d
  niklasso

  committed
  0c0bb0d

  Copy full SHA for 0c0bb0d

Commits on Sep 22, 2011

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

  niklasso

  committed
  1e0fd32

  Copy full SHA for 1e0fd32

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

  niklasso

  committed
  6820591

  Copy full SHA for 6820591

Commits on Sep 12, 2011

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

  niklasso

  committed
  4d3aa55

  Copy full SHA for 4d3aa55

Commits on Aug 10, 2011

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

  Show description for 5ecc5b0
  niklasso

  committed
  5ecc5b0

  Copy full SHA for 5ecc5b0

• Add a remove method to the Heap class.

  niklasso

  committed
  8d018ed

  Copy full SHA for 8d018ed

Commits on Jul 8, 2011

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

  niklasso

  committed
  94aef63

  Copy full SHA for 94aef63

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

  niklasso

  committed
  5a01f08

  Copy full SHA for 5a01f08

Commits on Jul 6, 2011

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

  niklasso

  committed
  9aa56a7

  Copy full SHA for 9aa56a7

Pagination

Previous

Next