Commits

Branch selector

 master

User selector

bollu

Datepicker

All time

Commit History

Commits on Jan 23, 2025

• feat: add example where no such constant exists

  bollu

  committed
  c602381

  Copy full SHA for c602381

Commits on Jan 12, 2025

• chore: ignore vscode

  bollu

  committed
  7b00b6b

  Copy full SHA for 7b00b6b

Commits on Jan 11, 2025

• chore: add egg and shostak.

  bollu

  committed
  a01934b

  Copy full SHA for a01934b

• feat: truncate code

  bollu

  committed
  88e637f

  Copy full SHA for 88e637f

• feat: Exists-forall solver

  bollu

  committed
  7da5b35

  Copy full SHA for 7da5b35

Commits on Jan 7, 2025

• chore: use double quotes

  bollu

  committed
  c653d86

  Copy full SHA for c653d86

Commits on Jan 6, 2025

• chore: add solver

  bollu

  committed
  15fc145

  Copy full SHA for 15fc145

Commits on Jan 5, 2025

• chore: add EF solver pseudocode

  bollu

  committed
  c474480

  Copy full SHA for c474480

Commits on Jan 3, 2025

• chore: add CDCL explanation

  bollu

  committed
  8d2285e

  Copy full SHA for 8d2285e

• chore: add comm semigroup dec proc

  bollu

  committed
  f9b6424

  Copy full SHA for f9b6424

Commits on Nov 20, 2024

• chore: commpile

  bollu

  committed
  666e2f4

  Copy full SHA for 666e2f4

• chore: add minisat notes

  bollu

  committed
  2e30761

  Copy full SHA for 2e30761

Commits on Nov 19, 2024

• chore: add DIMACS parser, add DRAT notes

  bollu

  committed
  319a0a7

  Copy full SHA for 319a0a7

• chore: add DIMACS parser

  bollu

  committed
  8af0a1b

  Copy full SHA for 8af0a1b

• chore: compiling version of end-to-end

  bollu

  committed
  edcec05

  Copy full SHA for edcec05

• chore: get most of minisat to compile

  bollu

  committed
  1ca08e5

  Copy full SHA for 1ca08e5

Commits on Nov 18, 2024

• chore: minisat

  bollu

  committed
  471f7d1

  Copy full SHA for 471f7d1

Commits on Nov 17, 2024

• chore: add files

  bollu

  committed
  0b46ece

  Copy full SHA for 0b46ece

Commits on Nov 7, 2024

• chore: add bdds

  bollu

  committed
  e80ac0d

  Copy full SHA for e80ac0d

Commits on Nov 5, 2024

• chore: add textbook

  bollu

  committed
  bb2c4d0

  Copy full SHA for bb2c4d0

• chore: add BDD

  bollu

  committed
  14050cf

  Copy full SHA for 14050cf

Commits on Feb 16, 2022

• translate more theorem statements'

  bollu

  committed
  cb19729

  Copy full SHA for cb19729

• add schreier from tutorial

  bollu

  committed
  4e680a9

  Copy full SHA for 4e680a9

Commits on Dec 29, 2021

• add new papers

  bollu

  committed
  16f708e

  Copy full SHA for 16f708e

Commits on Nov 17, 2021

• add the WIP plucker.py

  bollu

  committed
  f94d97c

  Copy full SHA for f94d97c

Commits on Nov 16, 2021

• reorg README to appear sane

  bollu

  committed
  1b9c9c2

  Copy full SHA for 1b9c9c2

• add new files

  bollu

  committed
  6a2d2f8

  Copy full SHA for 6a2d2f8

Commits on Oct 3, 2021

• add order computation

  bollu

  committed
  9e38026

  Copy full SHA for 9e38026

• check that we compute small generating sets

  bollu

  committed
  0eba7c0

  Copy full SHA for 0eba7c0

• add test for sims filter

  bollu

  committed
  4a65219

  Copy full SHA for 4a65219

• off by one in name

  bollu

  committed
  e8d81b0

  Copy full SHA for e8d81b0

• rebrand

  bollu

  committed
  ac00ca8

  Copy full SHA for ac00ca8

• schrier decomposition succeeds

  bollu

  committed
  fccfa17

  Copy full SHA for fccfa17

• move generators of stabilizer call inside the coset rep fn

  bollu

  committed
  1238cb0

  Copy full SHA for 1238cb0

• can copute generators of stabilizer correctly

  bollu

  committed
  4dcdccd

  Copy full SHA for 4dcdccd

Pagination

Previous

Next