Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Oct 10, 2012

• Update README

  

  Jo Devriendt

  committed
  8bca493View commit details

  Copy full SHA for 8bca493

  Browse repository at this point

Commits on Oct 9, 2012

• Small changes.

  Show description for 3d40056
  

  Jo

  authored and

  Jo

  committed
  3d40056View commit details

  Copy full SHA for 3d40056

  Browse repository at this point

Commits on Sep 26, 2012

• Update README

  

  Jo Devriendt

  committed
  da0263dView commit details

  Copy full SHA for da0263d

  Browse repository at this point

Commits on Jun 17, 2012

• Merge branch 'master' of https://github.com/JoD/minisat-SPFS

  

  Jo

  authored and

  Jo

  committed
  d4e4586View commit details

  Copy full SHA for d4e4586

  Browse repository at this point

• Uploaded new version of symmetry paper

  

  Jo

  authored and

  Jo

  committed
  08dd536View commit details

  Copy full SHA for 08dd536

  Browse repository at this point

Commits on May 26, 2012

• Update README

  

  Jo Devriendt

  committed
  b4e74bbView commit details

  Copy full SHA for b4e74bb

  Browse repository at this point

Commits on Apr 27, 2012

• Updated repository with latest test results.

  

  Jo

  authored and

  Jo

  committed
  efd7030View commit details

  Copy full SHA for efd7030

  Browse repository at this point

Commits on Apr 25, 2012

• Added pigeonhole_shuffled benchmarks

  

  JoD

  committed
  fa4357eView commit details

  Copy full SHA for fa4357e

  Browse repository at this point

• updated benchmark results

  

  JoD

  committed
  ef56383View commit details

  Copy full SHA for ef56383

  Browse repository at this point

Commits on Apr 1, 2012

• Update updated benchmark results/original benchmarks/README

  

  Jo Devriendt

  committed
  349a5e4View commit details

  Copy full SHA for 349a5e4

  Browse repository at this point

• Update updated benchmark results/SAT11 benchmarks/README

  

  Jo Devriendt

  committed
  0351467View commit details

  Copy full SHA for 0351467

  Browse repository at this point

• Update updated benchmark results/README

  

  Jo Devriendt

  committed
  e1dcb5fView commit details

  Copy full SHA for e1dcb5f

  Browse repository at this point

• removed obsolete stuff

  

  Bart Bogaerts

  committed
  c30513eView commit details

  Copy full SHA for c30513e

  Browse repository at this point

• removed obsolete stuff

  

  Bart Bogaerts

  committed
  15b4476View commit details

  Copy full SHA for 15b4476

  Browse repository at this point

• updated

  

  Bart Bogaerts

  committed
  c31a847View commit details

  Copy full SHA for c31a847

  Browse repository at this point

• updated benchmark results

  

  Bart Bogaerts

  committed
  3f569f4View commit details

  Copy full SHA for 3f569f4

  Browse repository at this point

• updated benchmark results

  

  Jo

  authored and

  Jo

  committed
  71f84f2View commit details

  Copy full SHA for 71f84f2

  Browse repository at this point

Commits on Mar 30, 2012

• Simplified symmetry propagation loop. Has no major effect on benchmarks.

  

  Jo

  authored and

  Jo

  committed
  2cd7396View commit details

  Copy full SHA for 2cd7396

  Browse repository at this point

• Merge remote-tracking branch 'sorensen/master'

  Show description for 4471e4b
  

  Jo

  authored and

  Jo

  committed
  4471e4bView commit details

  Copy full SHA for 4471e4b

  Browse repository at this point

• SP(SAT) options now available from command line (see --help)

  

  Jo

  authored and

  Jo

  committed
  1de4ec1View commit details

  Copy full SHA for 1de4ec1

  Browse repository at this point

• Added solver trace in verbosity=2

  Show description for 33b36e9
  

  Jo

  authored and

  Jo

  committed
  33b36e9View commit details

  Copy full SHA for 33b36e9

  Browse repository at this point

Commits on Mar 8, 2012

• Update README

  

  Jo Devriendt

  committed
  2abf729View commit details

  Copy full SHA for 2abf729

  Browse repository at this point

• Update README

  

  Jo Devriendt

  committed
  8a4272fView commit details

  Copy full SHA for 8a4272f

  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 Feb 16, 2012

• Uploaded all test results and submitted paper, updated README.txt

  

  holkann@gmail.com

  authored and

  holkann@gmail.com

  committed
  3446970View commit details

  Copy full SHA for 3446970

  Browse repository at this point

Commits on Feb 14, 2012

• Merge branch 'master' of https://github.com/JoD/minisat-SPFS

  

  holkann@gmail.com

  authored and

  holkann@gmail.com

  committed
  7e91bf5View commit details

  Copy full SHA for 7e91bf5

  Browse repository at this point

• Fixed a performance bug in Solver::propagate.

  Show description for f50c0b1
  

  holkann@gmail.com

  authored and

  holkann@gmail.com

  committed
  f50c0b1View commit details

  Copy full SHA for f50c0b1

  Browse repository at this point

Commits on Feb 2, 2012

• Clarified downloading of test files

  

  Jo Devriendt

  committed
  e6acbb1View commit details

  Copy full SHA for e6acbb1

  Browse repository at this point

• Merge branch 'master' of https://github.com/JoD/minisat-SPFS

  Show description for 7ec8e45
  

  holkann@gmail.com

  authored and

  holkann@gmail.com

  committed
  7ec8e45View commit details

  Copy full SHA for 7ec8e45

  Browse repository at this point

• Unzipped the test files to make them better available.

  

  holkann@gmail.com

  authored and

  holkann@gmail.com

  committed
  2a385c5View commit details

  Copy full SHA for 2a385c5

  Browse repository at this point

• Added sentence to clarify one has to clone this repository in order to download the testfiles.

  

  Jo Devriendt

  committed
  f4689b7View commit details

  Copy full SHA for f4689b7

  Browse repository at this point

Commits on Jan 24, 2012

• Update README

  

  Jo Devriendt

  committed
  3ae7f0bView commit details

  Copy full SHA for 3ae7f0b

  Browse repository at this point

Commits on Jan 5, 2012

• Added testfile, extended README, added copyright notice.

  

  holkann@gmail.com

  authored and

  holkann@gmail.com

  committed
  42960a9View commit details

  Copy full SHA for 42960a9

  Browse repository at this point

Commits on Jan 2, 2012

• Added SPFS symmetry breaking code.

  

  holkann@gmail.com

  authored and

  holkann@gmail.com

  committed
  b60cdeaView commit details

  Copy full SHA for b60cdea

  Browse repository at this point