Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Aug 2, 2024

• Force high carry to 0 for first column of add.A

  nahiyan

  committed
  e4a7c99

  Copy full SHA for e4a7c99

Commits on Jul 8, 2024

• Add starting points for 39 steps and Mendel's 38 steps

  nahiyan

  committed
  9bfc2a8

  Copy full SHA for 9bfc2a8

Commits on May 17, 2024

• Add back the SHA-256 Python implementation.

  nahiyan

  committed
  612b259

  Copy full SHA for 612b259

• Remove obsolete files

  nahiyan

  committed
  ad38ace

  Copy full SHA for ad38ace

• Add support for cardinality constraints

  nahiyan

  committed
  fd64e44

  Copy full SHA for fd64e44

Commits on Apr 18, 2024

• Remove unwanted tables.

  nahiyan

  committed
  8e6aad2

  Copy full SHA for 8e6aad2

Commits on Apr 17, 2024

• Add script for verifying collisions to the driver.

  nahiyan

  committed
  501536d

  Copy full SHA for 501536d

Commits on Apr 3, 2024

• Add script for encoding a cube

  nahiyan

  committed
  8d43a21

  Copy full SHA for 8d43a21

• Rename strong propagation to "wordwise" propagation

  nahiyan

  committed
  d76eea8

  Copy full SHA for d76eea8

Commits on Mar 25, 2024

• Remove unnecessary array entries

  nahiyan

  committed
  ee4f246

  Copy full SHA for ee4f246

• Update driver tool readme

  nahiyan

  committed
  ab6eab9

  Copy full SHA for ab6eab9

• Add table for order 38

  nahiyan

  committed
  407303c

  Copy full SHA for 407303c

Commits on Mar 17, 2024

• Add README for the driver tool.

  nahiyan

  committed
  8810e6a

  Copy full SHA for 8810e6a

• Exit code should taken as -1 if solver didn't sign off

  nahiyan

  committed
  e82643f

  Copy full SHA for e82643f

• Revert "Add ordering for exit code and process time"

  Show description for 89a4b8a
  nahiyan

  committed
  89a4b8a

  Copy full SHA for 89a4b8a

• Add ordering for exit code and process time

  nahiyan

  committed
  2e11c1c

  Copy full SHA for 2e11c1c

• Sort solutions

  nahiyan

  committed
  069d305

  Copy full SHA for 069d305

• Add a driver written for concurrent operations

  nahiyan

  committed
  cc14f35

  Copy full SHA for cc14f35

• Update the table for order 28

  nahiyan

  committed
  61b3598

  Copy full SHA for 61b3598

Commits on Mar 12, 2024

• Update .gitignore

  nahiyan

  committed
  c9fcca0

  Copy full SHA for c9fcca0

Commits on Mar 6, 2024

• Add the list of propagation rules used by the encoder

  nahiyan

  committed
  69527e0

  Copy full SHA for 69527e0

Commits on Feb 25, 2024

• Report if the collision is full in the collision verifier

  nahiyan

  committed
  d00eade

  Copy full SHA for d00eade

Commits on Feb 22, 2024

• Add full_collision property in the encoding

  nahiyan

  committed
  1ac7f41

  Copy full SHA for 1ac7f41

Commits on Feb 15, 2024

• Add detection of the solution status in the clause verifier

  nahiyan

  committed
  1973ec6

  Copy full SHA for 1973ec6

Commits on Feb 14, 2024

• Remove redundant clauses

  nahiyan

  committed
  7e11a1a

  Copy full SHA for 7e11a1a

• Fix differential propagation rules for s0 and s1 in the encoding

  nahiyan

  committed
  905a544

  Copy full SHA for 905a544

Commits on Feb 12, 2024

• Fix bug in the encoder

  nahiyan

  committed
  868f89f

  Copy full SHA for 868f89f

Commits on Feb 5, 2024

• Update CaDiCaL

  nahiyan

  committed
  cc2550e

  Copy full SHA for cc2550e

Commits on Feb 4, 2024

• Bring back 1-bit support in the encoder

  nahiyan

  committed
  eb8a1b3

  Copy full SHA for eb8a1b3

Commits on Feb 1, 2024

• Merge branch 'feature/4-bit-difference'

  nahiyan

  committed
  a4af427

  Copy full SHA for a4af427

• Update CaDiCaL

  nahiyan

  committed
  66909cc

  Copy full SHA for 66909cc

Commits on Jan 31, 2024

• Update CaDiCaL

  nahiyan

  committed
  2004894

  Copy full SHA for 2004894

• Update encoder Makefile

  nahiyan

  committed
  d458339

  Copy full SHA for d458339

Commits on Jan 30, 2024

• Remove unwanted code

  nahiyan

  committed
  5d58ab0

  Copy full SHA for 5d58ab0

Commits on Jan 22, 2024

• Update CaDiCaL

  nahiyan

  committed
  7e00b0b

  Copy full SHA for 7e00b0b

Pagination

Previous

Next