Code

Development#53

Code

Merged

czengler merged 6 commits intomasterlogic-ng/LogicNG:masterfrom developmentlogic-ng/LogicNG:developmentCopy head branch name to clipboardJul 31, 2024

+175-34

Commits

Commits on May 4, 2024

• Next development version

  czengler

  committed
  10ab16e

  Copy full SHA for 10ab16e

• Preparations for formula and solver serializiation

  czengler

  committed
  b6e6975

  Copy full SHA for b6e6975

Commits on Jul 12, 2024

• Prepare 2.6.0 release

  czengler

  committed
  d77cea2

  Copy full SHA for d77cea2

Commits on Jul 22, 2024

• fixed MiniSatConfig doc for default CNF method

  rouven-walter

  committed
  5ba79db

  Copy full SHA for 5ba79db

Commits on Jul 31, 2024

• Prepare 2.5.1 release

  czengler

  committed
  9aa1d29

  Copy full SHA for 9aa1d29

• Final 2.5.1

  czengler

  committed
  79bb7b0

  Copy full SHA for 79bb7b0