Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Dec 30, 2025

• Add related paper information to README

  Show description for 8691306
  SteffenHub

  authored
  8691306

  Copy full SHA for 8691306

Commits on Dec 23, 2024

• Changed output file name

  SteffenHub

  committed
  265b959

  Copy full SHA for 265b959

Commits on Oct 31, 2024

• Update README.md.

  Show description for 5a9a5f4
  SteffenHub

  committed
  5a9a5f4

  Copy full SHA for 5a9a5f4

• Update README.md.

  Show description for 3b0f679
  SteffenHub

  committed
  3b0f679

  Copy full SHA for 3b0f679

• Update README.md with section How it works and integrate instructions for the c2d solver

  SteffenHub

  committed
  7830117

  Copy full SHA for 7830117

Commits on Oct 23, 2024

• Add average deviation to comments in output file

  SteffenHub

  committed
  cdafc2b

  Copy full SHA for cdafc2b

• update Readme

  SteffenHub

  committed
  114c7d4

  Copy full SHA for 114c7d4

• update Readme.

  Show description for 4e98775
  SteffenHub

  committed
  4e98775

  Copy full SHA for 4e98775

• update gitignore.

  Show description for 961a62a
  SteffenHub

  committed
  961a62a

  Copy full SHA for 961a62a

Commits on Aug 24, 2024

• Merge pull request #1 from SteffenHub/update-readme

  Show description for b26171d
  SteffenHub

  authored
  b26171d

  Copy full SHA for b26171d

• update readme with new repository name

  SteffenHub

  committed
  d2915f1

  Copy full SHA for d2915f1

Commits on Jun 21, 2024

• upload output data for cnfBuilder100VarsVariance9995700077 with 100 decimal

  SteffenHub

  committed
  b7a4bf9

  Copy full SHA for b7a4bf9

• Delete unused imports

  SteffenHub

  committed
  1674c3e

  Copy full SHA for 1674c3e

• upload output data for cnfBuilder100VarsVariance9995700077 with 10 decimal places.

  SteffenHub

  committed
  29d93fd

  Copy full SHA for 29d93fd

• Add Dialog to get input data from console

  SteffenHub

  committed
  a65ebc0

  Copy full SHA for a65ebc0

• Upload output data for cnfBuilder100VarsVariance9995700077 with 10 decimal places.

  SteffenHub

  committed
  b436f1e

  Copy full SHA for b436f1e

• upload input data

  SteffenHub

  committed
  f8988e1

  Copy full SHA for f8988e1

Commits on Jun 14, 2024

• Added selected procedure name to result file as comment

  SteffenHub

  committed
  4ddb689

  Copy full SHA for 4ddb689

• remove , in result file

  SteffenHub

  committed
  29b2967

  Copy full SHA for 29b2967

• another name for the result file

  SteffenHub

  committed
  6b016fe

  Copy full SHA for 6b016fe

• More comments with information in result file

  SteffenHub

  committed
  5143f33

  Copy full SHA for 5143f33

• get seed as args.

  Show description for ea2fdb1
  SteffenHub

  committed
  ea2fdb1

  Copy full SHA for ea2fdb1

Commits on Jun 6, 2024

• Translate Main file

  SteffenHub

  committed
  c47414a

  Copy full SHA for c47414a

• Upload Code

  SteffenHub

  committed
  63d9799

  Copy full SHA for 63d9799

• added gitignore

  SteffenHub

  committed
  59266e8

  Copy full SHA for 59266e8

Commits on May 31, 2024

• Initial commit

  SteffenHub

  authored
  8f418e8

  Copy full SHA for 8f418e8