Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 25, 2023

• add cstdint include to fix compilation on linux (#8)

  petelliott

  authored
  af42618

  Copy full SHA for af42618

Commits on Oct 23, 2022

• update 17-clue dataset discription: all 49158 puzzles are known

  t-dillon

  committed
  4fdd1f3

  Copy full SHA for 4fdd1f3

Commits on Feb 20, 2022

• fix type of ternary consts

  t-dillon

  committed
  c2eabe8

  Copy full SHA for c2eabe8

Commits on Feb 14, 2022

• update README with current generator -h

  t-dillon

  committed
  4c5e664

  Copy full SHA for 4c5e664

Commits on Feb 13, 2022

• in example/solve.c account for comments in data files

  t-dillon

  committed
  129556c

  Copy full SHA for 129556c

Commits on Feb 12, 2022

• add example python bindings

  t-dillon

  committed
  e063d3d

  Copy full SHA for e063d3d

Commits on Jun 2, 2021

• replace broken 17 clue link with web archive link

  t-dillon

  committed
  1668b02

  Copy full SHA for 1668b02

• update benchmarks

  t-dillon

  committed
  c09373a

  Copy full SHA for c09373a

Commits on Jun 1, 2021

• pick branch digit more cheaply

  t-dillon

  committed
  43b3782

  Copy full SHA for 43b3782

Commits on May 31, 2021

• elide unnecessary ops

  t-dillon

  committed
  9982969

  Copy full SHA for 9982969

Commits on May 8, 2021

• fix build for rust sudoku

  t-dillon

  committed
  c17e90e

  Copy full SHA for c17e90e

• update READMEs

  t-dillon

  committed
  f6ac4c3

  Copy full SHA for f6ac4c3

• remove unused dir

  t-dillon

  committed
  14f03af

  Copy full SHA for 14f03af

• add submodules for simpler setup

  t-dillon

  committed
  2ed1d4e

  Copy full SHA for 2ed1d4e

• update README

  t-dillon

  committed
  7a6cbc6

  Copy full SHA for 7a6cbc6

• fix SubsetOf for < SSE4_1

  t-dillon

  committed
  bdf6855

  Copy full SHA for bdf6855

Commits on May 7, 2021

• update benchmarks

  t-dillon

  committed
  9d62b98

  Copy full SHA for 9d62b98

Commits on May 5, 2021

• classify lhl properly

  t-dillon

  committed
  e8b4eed

  Copy full SHA for e8b4eed

Commits on May 4, 2021

• mini benchmarks

  t-dillon

  committed
  adbbd3a

  Copy full SHA for adbbd3a

• support rust_sudoku via multiple toolchains

  t-dillon

  committed
  281d564

  Copy full SHA for 281d564

• update default data set for run_benchmark

  t-dillon

  committed
  368b528

  Copy full SHA for 368b528

• use explicit path to rust sudoku lib in case of soname confusion

  t-dillon

  committed
  a7de3e8

  Copy full SHA for a7de3e8

Commits on May 3, 2021

• improve handling of slow solvers in run_benchmark; fix BENCH.sh for pgo builds

  t-dillon

  committed
  00faeff

  Copy full SHA for 00faeff

Commits on May 2, 2021

• restore benchmark duration

  t-dillon

  committed
  a6c4ffa

  Copy full SHA for a6c4ffa

• exit BoxRestrict faster on noop

  t-dillon

  committed
  fdf19ef

  Copy full SHA for fdf19ef

• rearrange tables for more efficient access

  t-dillon

  committed
  e77fb95

  Copy full SHA for e77fb95

• tweak: ice lake prefers shldi over shuffle; ifdef discipline

  t-dillon

  committed
  81a5138

  Copy full SHA for 81a5138

Commits on May 1, 2021

• add legend for solver descriptions

  t-dillon

  committed
  dfc6a44

  Copy full SHA for dfc6a44

• fix minisat guess counting

  t-dillon

  committed
  a895491

  Copy full SHA for a895491

• add z3 to other/README

  t-dillon

  committed
  dca62f5

  Copy full SHA for dca62f5

• add solver classifications; add z3

  t-dillon

  committed
  9565857

  Copy full SHA for 9565857

• fix for jsolve incomplete inference

  t-dillon

  committed
  6e33f77

  Copy full SHA for 6e33f77

• fix for fsss incomplete inference

  t-dillon

  committed
  65c11a0

  Copy full SHA for 65c11a0

Commits on Apr 30, 2021

• use steady clock for benchmarking

  t-dillon

  committed
  4fd43b0

  Copy full SHA for 4fd43b0

• perf nudge for basic solver

  t-dillon

  committed
  df57c10

  Copy full SHA for df57c10

Pagination

Previous

Next