 Matthew Butterick
|
7f69bbdd56
|
add-transitive-constraint! and other nits
|
3 years ago |
|
Matthew Butterick
|
3a2f3474ac
|
more seteqs
|
3 years ago |
|
Matthew Butterick
|
ca615dc293
|
kill solver threads
|
3 years ago |
|
Matthew Butterick
|
bf1c4d1c98
|
use seteq sometimes
|
3 years ago |
|
Matthew Butterick
|
a9ec24a78d
|
sudoku example
|
3 years ago |
|
Matthew Butterick
|
7a700bc564
|
fix ac-3 (closes #3)
|
3 years ago |
|
Matthew Butterick
|
b7608d35aa
|
link
|
3 years ago |
|
Matthew Butterick
|
c562ddbdb7
|
document solvers
|
3 years ago |
|
Matthew Butterick
|
0274fb999f
|
fix min-conflicts-solver (closes #2)
|
3 years ago |
|
Matthew Butterick
|
b4412ef7a6
|
more
|
3 years ago |
|
Matthew Butterick
|
7973ed10a2
|
error
|
3 years ago |
|
Matthew Butterick
|
c0eaa6ac57
|
some more errors
|
3 years ago |
|
Matthew Butterick
|
1f52342a55
|
add `make-var-names` helper
|
3 years ago |
|
Matthew Butterick
|
69f87fe1a2
|
set tweaks
|
6 years ago |
|
Matthew Butterick
|
9750ec411e
|
settish
|
6 years ago |
|
Matthew Butterick
|
2186873782
|
fac
|
6 years ago |
|
Matthew Butterick
|
6e942167bf
|
in-solutions
|
6 years ago |
|
Matthew Butterick
|
5b407c62d5
|
suspend
|
6 years ago |
|
Matthew Butterick
|
3b341f8a13
|
nits
|
6 years ago |
|
Matthew Butterick
|
286465fd8e
|
oops
|
6 years ago |
|
Matthew Butterick
|
59ae964544
|
more
|
6 years ago |
|
Matthew Butterick
|
c6c13bc486
|
speed
|
6 years ago |
|
Matthew Butterick
|
f06623c070
|
nits
|
6 years ago |
|
Matthew Butterick
|
ffa083c1b5
|
checklessness
|
6 years ago |
|
Matthew Butterick
|
fd7c697258
|
refac
|
6 years ago |
|
Matthew Butterick
|
9a3298e2aa
|
more
|
6 years ago |
|
Matthew Butterick
|
b7f829760c
|
fixup
|
6 years ago |
|
Matthew Butterick
|
32aa697173
|
huh
|
6 years ago |
|
Matthew Butterick
|
d09b084b52
|
fc
|
6 years ago |
|
Matthew Butterick
|
a427cb0ee4
|
changes
|
6 years ago |
|
Matthew Butterick
|
cef3ac0fbe
|
update
|
6 years ago |
|
Matthew Butterick
|
0371737102
|
learning experiment
|
6 years ago |
|
Matthew Butterick
|
5d75fe54a9
|
nits
|
6 years ago |
|
Matthew Butterick
|
11d6298d21
|
improve ac-3
|
6 years ago |
|
Matthew Butterick
|
7ef8d6937e
|
ac-3 etc
|
6 years ago |
|
Matthew Butterick
|
558c905393
|
yes
|
6 years ago |
|
Matthew Butterick
|
400b484943
|
reality
|
6 years ago |
|
Matthew Butterick
|
6f1db5fd55
|
yes
|
6 years ago |
|
Matthew Butterick
|
d418d1ca0c
|
motion
|
6 years ago |