Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 15, 2011

• Fixed link to recent build in readme.md

  dmitrygusev

  committed
  c903a6f

  Copy full SHA for c903a6f

Commits on Jan 25, 2011

• Relates to #5: Test case for the xor-chain formula

  dmitrygusev

  committed
  9cd8ef2

  Copy full SHA for 9cd8ef2

Commits on Jan 22, 2011

• Test-case to support discussion at http://habrahabr.ru/blogs/computer_science/112337/

  dmitrygusev

  committed
  27e75ae

  Copy full SHA for 27e75ae

Commits on Jan 21, 2011

• Version name changed to 2.0.0-PRE

  dmitrygusev

  committed
  6d1f716

  Copy full SHA for 6d1f716

• Fixes #4 OutOfMemoryError masked with EmptyStructureException which lead to erroneous false negative output.

  dmitrygusev

  committed
  124afa4

  Copy full SHA for 124afa4

• New command line option (-g) to save 3-SAT formula generated from input CNF

  dmitrygusev

  committed
  ee64b88

  Copy full SHA for ee64b88

• Fixes #3 GenericFormulaReader to support sparse variable naming

  dmitrygusev

  committed
  95d5eb0

  Copy full SHA for 95d5eb0

Commits on Jan 19, 2011

• CTS unification improved

  dmitrygusev

  committed
  cbe4402

  Copy full SHA for cbe4402

Commits on Jan 18, 2011

• VarPairsIndex refactored and improved

  Show description for d9a001a
  dmitrygusev

  committed
  d9a001a

  Copy full SHA for d9a001a

Commits on Jan 13, 2011

• CTS intersection improved for n > 100

  dmitrygusev

  committed
  6f2dba2

  Copy full SHA for 6f2dba2

• Code and log output formatting

  dmitrygusev

  committed
  80ecf39

  Copy full SHA for 80ecf39

Commits on Jan 12, 2011

• LaTeX source for the Romanov's paper

  dmitrygusev

  committed
  ae9212b

  Copy full SHA for ae9212b

Commits on Dec 10, 2010

• Remove ObjectPool from clone methods

  dmitrygusev

  committed
  a656132

  Copy full SHA for a656132

Commits on Dec 4, 2010

• Performance improvements

  Show description for 429d72a
  dmitrygusev

  committed
  429d72a

  Copy full SHA for 429d72a

Commits on Nov 28, 2010

• Fix link to Romanov's Article in README.md

  dmitrygusev

  committed
  5f87b49

  Copy full SHA for 5f87b49

• Merge branch 'master' of github.com:anjlab/sat3

  dmitrygusev

  committed
  e366bfd

  Copy full SHA for e366bfd

• Fixes issue #1 findHSSRoute implemented with use of HSS reduction

  Show description for 04cdf2e
  dmitrygusev

  committed
  04cdf2e

  Copy full SHA for 04cdf2e

Commits on Nov 27, 2010

• Refactored version of findHSSRoute (still have errors in implementation, but still works for loosely coupled structures)

  dmitrygusev

  committed
  025839e

  Copy full SHA for 025839e

Commits on Nov 23, 2010

• close issue #2. Introduce formula formats converter

  yury

  committed
  da98b9b

  Copy full SHA for da98b9b

Commits on Nov 21, 2010

• ruby aggregate-results script and some fixes to solve-batch

  yury

  committed
  268433d

  Copy full SHA for 268433d

Commits on Nov 19, 2010

• Direct link to Romanov's article on arxiv.org

  yury

  committed
  a738647

  Copy full SHA for a738647

• Link to 3-sat-experiments package

  yury

  committed
  f5100fb

  Copy full SHA for f5100fb

Commits on Nov 18, 2010

• Added aggregate-results.bat tool

  dmitrygusev

  committed
  40793e9

  Copy full SHA for 40793e9

• Change direct wiki links to /anjlab/sat3 repo

  dmitrygusev

  committed
  ccfa204

  Copy full SHA for ccfa204

• Fix link to renamed wiki page

  dmitrygusev

  committed
  c697454

  Copy full SHA for c697454

Commits on Nov 15, 2010

• Add some links to README.md

  yury

  committed
  2268aa6

  Copy full SHA for 2268aa6

• Fix markdown a little bit

  yury

  committed
  26c272b

  Copy full SHA for 26c272b

• Include README.md to package

  yury

  committed
  f658e51

  Copy full SHA for f658e51

• README in markdown format

  yury

  committed
  27ce4f3

  Copy full SHA for 27ce4f3

• Renamed run to solve and batch-run to solve-batch

  yury

  committed
  aca0518

  Copy full SHA for aca0518

• Added visual representation of major stages of the algorithm

  dmitrygusev

  committed
  ea034ac

  Copy full SHA for ea034ac

• Add sample result outputs

  dmitrygusev

  committed
  a1d204b

  Copy full SHA for a1d204b

Commits on Nov 14, 2010

• Experiments packaging changes:

  Show description for 6c9484d
  yury

  committed
  6c9484d

  Copy full SHA for 6c9484d

• Add some UNSAT formulas

  yury

  committed
  e6e7a97

  Copy full SHA for e6e7a97

• Merge branch 'master' of github.com:yury/sat3

  yury

  committed
  174a05d

  Copy full SHA for 174a05d

Pagination

Previous

Next