Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 12, 2024

• Document failed SAT solver implementation

  gregr

  committed
  9d456d1

• Simplify common subexpression

  gregr

  committed
  89728d1

• Implement 16x16 sudoku

  gregr

  committed
  c5ce340

• Implement 25x25 sudoku

  gregr

  committed
  38ddc36

• Try harder sudoku puzzles

  gregr

  committed
  c16a1f1

Commits on Sep 11, 2024

• Consolidate SAT solver helper definitions

  gregr

  committed
  5991f05

• Provide s-append-interleaving

  gregr

  committed
  bbc6284

• Define streaming variant of 2-watching solver

  gregr

  committed
  5826596

• Improve SAT representation for sudoku

  gregr

  committed
  629cbcf

• Update faster-mk sudoku benchmark results

  gregr

  committed
  c612706

Commits on Sep 10, 2024

• Define a SAT solver with 2-watching and unit prop

  gregr

  committed
  88c03ae

• Support assignment-free solutions

  gregr

  committed
  6d0d0bd

• Format nqueens output

  gregr

  committed
  3fcf29d

• Fix SAT translation of sudoku

  gregr

  committed
  a0ca79d

Commits on Sep 9, 2024

• Define a slightly less naive SAT solver

  gregr

  committed
  55a954c

• Shrink SAT representation for sudoku

  gregr

  committed
  2893e49

• Define sudoku-sat.rkt

  gregr

  committed
  846fdef

• Solve nqueens using naive SAT solver

  gregr

  committed
  79f5f64

• Define a naive SAT solver

  gregr

  committed
  3c2557a

• Fix commenting in nqueens.scm

  gregr

  committed
  e1de780

Commits on Sep 3, 2024

• Benchmark sudoku in faster-mk

  gregr

  committed
  8116606

• Time grid.50 with old sudoku implementation

  gregr

  committed
  bcc51fb

• Fix unification performance with two vars

  gregr

  committed
  1be0166

Commits on Sep 1, 2024

• Bencmark send-more-money in faster-mk

  gregr

  committed
  4acfe2d

• Benchmark n-queens in faster-mk

  gregr

  committed
  20ee1fe

Commits on Oct 29, 2023

• Replace atom=? with = and symbol=?

  gregr

  committed
  f65ea24

Commits on Sep 22, 2023

• Add LICENSE for verse

  gregr

  committed
  a7c8cf1

Commits on Aug 1, 2023

• Compute Either equality consequence

  gregr

  committed
  a6c5461

Commits on Jul 31, 2023

• Lift decidable equality into Either

  gregr

  committed
  5d12edb

Commits on Jun 12, 2023

• Investigate the ACL2 induction axiom scheme

  gregr

  committed
  6ce26c6

• Demonstrate why let should not be desugared

  gregr

  committed
  c663e96

• Use a numeric property to choose different types

  gregr

  committed
  2d07dab

• Derive the ackermann function

  gregr

  committed
  eb74073

Commits on Jun 10, 2023

• Port more arithmetic proofs

  gregr

  committed
  abd3e9c

• Add more examples

  gregr

  committed
  7675e3e

Pagination

PreviousNext