Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 26, 2024

• make variables small

  Anatoly03

  committed
  ff8fcfe

  Copy full SHA for ff8fcfe

• add resolution

  Anatoly03

  committed
  2b2dcad

  Copy full SHA for 2b2dcad

Commits on Jan 19, 2024

• add example to storage

  Anatoly03

  committed
  20e337c

  Copy full SHA for 20e337c

• move storage down

  Anatoly03

  committed
  8d67029

  Copy full SHA for 8d67029

• add grammar

  Anatoly03

  committed
  0710ac0

  Copy full SHA for 0710ac0

• move up

  Anatoly03

  committed
  19052fe

  Copy full SHA for 19052fe

• remove introduction to

  Anatoly03

  committed
  5f60491

  Copy full SHA for 5f60491

• rename

  Anatoly03

  committed
  a7b1ced

  Copy full SHA for a7b1ced

Commits on Jan 18, 2024

• add sewing thread holder

  Anatoly03

  committed
  30bd782

  Copy full SHA for 30bd782

• refactor

  Anatoly03

  committed
  acbc715

  Copy full SHA for acbc715

• refactor api

  Anatoly03

  committed
  3dfff77

  Copy full SHA for 3dfff77

• change to api

  Anatoly03

  committed
  e5f57f0

  Copy full SHA for e5f57f0

• add readme

  Anatoly03

  committed
  60a9b7e

  Copy full SHA for 60a9b7e

• add argument pattern

  Anatoly03

  committed
  f11631c

  Copy full SHA for f11631c

• change test

  Anatoly03

  committed
  12f2349

  Copy full SHA for 12f2349

Commits on Jan 15, 2024

• python refactor

  Anatoly03

  committed
  53f89c7

  Copy full SHA for 53f89c7

• add pick best

  Anatoly03

  committed
  8054c58

  Copy full SHA for 8054c58

• add more steps to da0

  Anatoly03

  committed
  2edcef4

  Copy full SHA for 2edcef4

• refactor python api

  Anatoly03

  committed
  4056f06

  Copy full SHA for 4056f06

• fix brute force + lots of changes + create new api + idk

  Anatoly03

  committed
  af4cb92

  Copy full SHA for af4cb92

Commits on Jan 9, 2024

• propose dbf

  Anatoly03

  committed
  c23be74

  Copy full SHA for c23be74

• move equations from theory to cnf

  Anatoly03

  committed
  1a58b6b

  Copy full SHA for 1a58b6b

• add proof

  Anatoly03

  committed
  691b4f0

  Copy full SHA for 691b4f0

• add macro for cell

  Anatoly03

  committed
  0dcc0ff

  Copy full SHA for 0dcc0ff

• add common/ contra part

  Anatoly03

  committed
  ca3f26b

  Copy full SHA for ca3f26b

• add period

  Anatoly03

  committed
  c38a6d2

  Copy full SHA for c38a6d2

• add common contradiction

  Anatoly03

  committed
  ad03d18

  Copy full SHA for ad03d18

• add common contradiction

  Anatoly03

  committed
  3d218a9

  Copy full SHA for 3d218a9

• add cnf absorption

  Anatoly03

  committed
  d870f2e

  Copy full SHA for d870f2e

• add cnf document

  Anatoly03

  committed
  6dc586d

  Copy full SHA for 6dc586d

• amend mistake

  Anatoly03

  committed
  0492c0c

  Copy full SHA for 0492c0c

• rename papers

  Anatoly03

  committed
  36e827b

  Copy full SHA for 36e827b

• redesign papers

  Anatoly03

  committed
  725506f

  Copy full SHA for 725506f

• lots of changes to storage design

  Anatoly03

  committed
  bf20726

  Copy full SHA for bf20726

• rewrite bool

  Anatoly03

  committed
  ad781cb

  Copy full SHA for ad781cb

Pagination

Previous

Next