Commits

Branch selector

 master

User selector

dmitrygusev

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

• 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

• Fixed ExecutionRecord to support new measurements

  dmitrygusev

  committed
  a7c56d3

  Copy full SHA for a7c56d3

• Change help messages

  dmitrygusev

  committed
  8d89589

  Copy full SHA for 8d89589

Commits on Nov 13, 2010

• Fixed .gitignore

  dmitrygusev

  committed
  4b2ef88

  Copy full SHA for 4b2ef88

• Added license information (LGPL version 3)

  dmitrygusev

  committed
  79f74e0

  Copy full SHA for 79f74e0

Commits on Nov 12, 2010

• Tuned packaging system to create project sources zip

  dmitrygusev

  committed
  7d7a4de

  Copy full SHA for 7d7a4de

• Added implementation of CTS isElementary()

  dmitrygusev

  committed
  d30d95b

  Copy full SHA for d30d95b

Commits on Nov 9, 2010

• New CLI function: Convert input formula to Romanov SKT file format

  dmitrygusev

  committed
  7980a4a

  Copy full SHA for 7980a4a

Commits on Nov 4, 2010

• Fixed NPE in write results of UNSAT instance

  Show description for 94ec30a
  dmitrygusev

  committed
  94ec30a

  Copy full SHA for 94ec30a

• Implemented support for batch-run.bat to solve *.skt files

  dmitrygusev

  committed
  67a5023

  Copy full SHA for 67a5023

Commits on Nov 3, 2010

• Support Romanov's SKT file format for formula instances

  dmitrygusev

  committed
  290125a

  Copy full SHA for 290125a

Commits on Nov 2, 2010

• Fixes assembly/experiment.xml

  dmitrygusev

  committed
  19d2eed

  Copy full SHA for 19d2eed

• Package solution to redistributable zip with *.bat files for single/batch run

  dmitrygusev

  committed
  1155571

  Copy full SHA for 1155571

Pagination

Previous

Next