Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Apr 23, 2022

• Turned DT_NodeType enum into enum class + renamed enum values

  Show description for b028b61
  VincentDerk

  committed
  b028b61

  Copy full SHA for b028b61

• Replaced/removed 'using namespace std'.

  Show description for b572e30
  VincentDerk

  committed
  b572e30

  Copy full SHA for b572e30

Commits on Jun 22, 2021

• Fixing bug with trivial UNSAT theories reporting SAT.

  haz

  authored
  11fe186

  Copy full SHA for 11fe186

Commits on Mar 24, 2021

• Setting the choiceVar everywhere that needs it.

  haz

  authored
  e76dbc1

  Copy full SHA for e76dbc1

Commits on Mar 18, 2021

• fix OR node choice variables

  Show description for 970a7ec
  

  Guillaume Girol

  committed
  970a7ec

  Copy full SHA for 970a7ec

Commits on Jun 3, 2014

• Implemented priority variable solving.

  haz

  committed
  6da4358

  Copy full SHA for 6da4358

Commits on Apr 8, 2013

• Fixed fixed a bug where not every literal node was unchecked before smoothing.

  haz

  committed
  4477a60

  Copy full SHA for 4477a60

Commits on Oct 24, 2012

• Fix for issue 5 and issue 6.

  haz

  committed
  e5ad842

  Copy full SHA for e5ad842

Commits on Jun 7, 2012

• Adding an option to disable the inclusion of every literal in a d-DNNF (which causes False nodes to be used).

  haz

  committed
  fd450c4

  Copy full SHA for fd450c4

Commits on May 28, 2012

• Implemented the option to disable dynamic decomposition.

  haz

  committed
  1af88f8

  Copy full SHA for 1af88f8

Commits on Mar 28, 2012

• Updated the smoothing to work efficiently for DAGs (and not just trees).

  haz

  committed
  bea3e1f

  Copy full SHA for bea3e1f

Commits on Feb 3, 2012

• DSharp with smoothing functionality.

  Show description for 3456b0b
  dimitarsh1

  committed
  3456b0b

  Copy full SHA for 3456b0b

Commits on Jan 13, 2012

• Fixed a bug with renamed variables in the preprocessing step not being added properly in the final output (reported by Dimitar Shterionov).

  haz

  committed
  82902a1

  Copy full SHA for 82902a1

Commits on Apr 27, 2011

• Imported from svn by Bitbucket

  haz

  committed
  b4bd718

  Copy full SHA for b4bd718

Loading