repo.or.cz
/
zddfun.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Handle empty case.
2009-06-03
Ben Lynn
Han
d
le emp
t
y c
a
se
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Lynn
Slit
h
er Link s
o
l
v
er fixes
.
commit
|
commitdiff
|
tree
2009-06-02
Ben L
y
nn
I
mproved Slither Link solver
.
commit
|
commitdiff
|
tree
2009-06-01
B
en
Lyn
n
Allow computati
o
n on grid gr
a
phs l
a
rger tha
n
1
1
x11
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Added
test
f
inding simple cycles in grid g
r
a
p
h
s
.
commit
|
commitdiff
|
tree
2009-06-01
Ben L
y
nn
Smoot
h
er drawing
s
.
commit
|
commitdiff
|
tree
2009-06-01
B
en Lynn
S
l
ight twe
a
ks
.
commit
|
commitdiff
|
tree
2009-06-01
Be
n
Lynn
S
olves
S
li
t
h
e
r Link
.
commit
|
commitdiff
|
tree
2009-06-01
Be
n
Lynn
F
i
xed bug
.
Confir
m
ed Knuth's number for 8
x
8 c
a
se
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
A
t
tempts to print all cyc
l
es
.
M
i
s
sing some
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
P
r
o
d
uces ZD
D
for simple loops inefficien
t
ly
.
commit
|
commitdiff
|
tree
2009-06-01
B
e
n Lynn
Intersection performa
n
ce tweak
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
L
ynn
Sli
t
her Link work continues
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Starte
d
slither
lin
k
solver
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Lyn
n
Performanc
e
tweaks
.
commit
|
commitdiff
|
tree
2009-05-31
B
e
n
Lynn
Light
r
efactor
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Adde
d
tes
t
cases
to tri
.
c a
n
d
r
enamed it
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Print sudoku solu
t
ions
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Ly
n
n
More r
e
factoring
.
commit
|
commitdiff
|
tree
2009-05-31
Be
n
Lynn
More
r
e
f
ac
t
oring
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
n
n
Introduced i
n
t
version o
f
darray
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
nn
Minor commen
t
in m
e
mo
.
c
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
C
lea
n
ed up zdd_count
(
)
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Moved die() to ne
w
file
.
commit
|
commitdiff
|
tree
2009-05-31
Be
n
Ly
n
n
Prune implied
d
ominoes
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Ly
n
n
Prune when implied monomino is n
e
xt to a 1
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Fillomino s
o
l
ver enforce
s
adjacenc
y
c
o
n
s
train
t
.
commit
|
commitdiff
|
tree
2009-05-30
Be
n
Lynn
Fillomi
n
o know
s
about some adjacency constra
i
n
ts
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Fil
l
o
mino so
l
ver can p
r
in
t
solu
t
ion
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
More fill
.
c fixes
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Change
o
rd
e
r of inters
e
ctions
i
n fil
l
.
c
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
(In
c
o
m
plete) Fi
l
l
o
m
i
no solver bu
g
f
ix
.
commit
|
commitdiff
|
tree
2009-05-30
Ben L
y
nn
Reduce memory
usage
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Tweaked Domi
n
osa solve
r
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Ly
n
n
Smarter order for s
o
l
v
ing Dominosa
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Wrote Dominosa solver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Began Fillomino
s
olver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Zero a lookup tab
l
e
i
n nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lyn
n
Light Up works
.
commit
|
commitdiff
|
tree
2009-05-29
Ben
L
ynn
Wrote contain
s
_exactly_n()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lynn
Fixed
b
u
g in con
t
ains_a
t
_mos
t
_
o
n
e()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lynn
W
rot
e
c
o
ntains_a
t
_most
_
o
n
e()
.
commit
|
commitdiff
|
tree
2009-05-28
B
en Lynn
Started Light Up sol
v
e
r
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
S
udoku solver us
e
s Z
D
D libra
r
y
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Converted tri
.
c
to u
s
e libr
a
ry
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Move ZDD routin
e
s
i
nto new
file
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Ly
n
n
Re
n
a
me nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Sol
v
es n
o
nograms of arbitrary si
z
e
.
commit
|
commitdiff
|
tree
2009-05-26
B
en
Lynn
Print soluti
o
n
.
commit
|
commitdiff
|
tree
2009-05-26
Be
n
Lynn
Col
u
mn clue ZDD
g
eneration fi
x
e
s
.
It works!
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
ZDD for sin
g
le column
clue
.
commit
|
commitdiff
|
tree
2009-05-26
Be
n
Lynn
S
t
a
r
t
ed co
l
umn clues
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Variable ren
a
m
es
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Z
D
D
f
or
general ro
w
clue
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Logic tweak;
p
r
e
p
ari
n
g f
o
r general case
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Started
nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-25
Be
n
Lynn
Sudoku ZDD generation is fast
e
r
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
L
ynn
Count 1, 2, 3-polyonimo tilings of chessboard
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Ly
n
n
F
orgot
to add darray source
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Better node ordering for do
m
i
n
o problem
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
Lyn
n
ZDD f
o
r d
o
mino tilin
g
s of a chess
b
oard
.
commit
|
commitdiff
|
tree
2009-05-24
Be
n
Lynn
R
e
duced m
o
r
e
p
r
ecomput
e
d
Z
DDs
.
commit
|
commitdiff
|
tree
2009-05-24
Be
n
Lynn
Re
d
uce
pre
c
o
m
puted ZDDs
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Fix unreduced ZDD in global_one
_
digit_per_box()
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
C
a
n solve sudokus
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
Lynn
S
e
t
s conta
i
ning
e
x
actly 1 elem
e
nt
f
rom
given list
.
commit
|
commitdiff
|
tree
2009-05-24
B
en Lynn
Naive intersect
i
on works
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
ZDD reduction
w
ith
n
aive algori
t
h
m
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Lyn
n
Sets whe
r
e a given digit exac
t
l
y onc
e
p
er row
.
commit
|
commitdiff
|
tree
2009-05-22
Ben
L
y
nn
Added Makefile
.
commit
|
commitdiff
|
tree
2009-05-22
B
e
n Lyn
n
Direct
l
y co
m
put
e
one
-
digit-per-box ZDD
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
F
r
ee t
e
mplates after interse
c
tion
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
Int
e
rs
e
c
t
ion p
a
rti
a
lly implemented
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lyn
n
Sudoku solve
r
us
i
n
g
Z
DDs
.
commit
|
commitdiff
|
tree