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
Minor documentation edits.
2009-11-29
Ben Lynn
Minor doc
u
mentat
i
on edits
.
commit
|
commitdiff
|
tree
2009-11-29
Ben Ly
n
n
Added co
m
ments
.
commit
|
commitdiff
|
tree
2009-07-30
B
en
L
ynn
A
d
ded READ
M
E
.
Improved Makefile
.
commit
|
commitdiff
|
tree
2009-06-25
Ben Lyn
n
Start
e
d
n
urikabe
s
o
l
ver
.
commit
|
commitdiff
|
tree
2009-06-20
B
e
n Ly
n
n
Comp
u
t
e
standa
r
d
d
e
viations in cycle_test
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Lynn
Comput
e
average cycle length
.
commit
|
commitdiff
|
tree
2009-06-03
Ben L
y
nn
Dynam
i
c a
l
loca
t
i
o
n fo
r
zdd_co
u
nt()
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Lynn
Added zdd_forl
a
r
g
est
(
)
.
Improved cycle
_
te
s
t
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Ly
n
n
Handle empty case
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Lynn
Slither
L
ink s
o
lver f
i
xes
.
commit
|
commitdiff
|
tree
2009-06-02
B
en L
y
nn
Improved Slither Link
solver
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
L
ynn
Allow computat
i
on on grid graphs larger than 11x11
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Added test finding simpl
e
cycle
s
i
n gr
i
d
graphs
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Ly
n
n
Smooth
e
r
draw
i
ngs
.
commit
|
commitdiff
|
tree
2009-06-01
B
en Lynn
Sl
i
g
h
t tweaks
.
commit
|
commitdiff
|
tree
2009-06-01
Be
n
Lynn
Solv
e
s
Slith
e
r
L
i
nk
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
F
ixed bu
g
.
Conf
i
rme
d
K
n
uth'
s
num
b
e
r f
o
r
8
x
8
case
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Attempts to print all cycles
.
Missin
g
s
o
me
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
L
ynn
Produces ZDD fo
r
s
im
p
l
e
loops ineffi
c
i
e
ntly
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
I
ntersection perfo
r
man
c
e tw
e
ak
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Slither Link work
continues
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
S
t
arte
d
sl
i
ther l
i
nk
solver
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Pe
r
forman
c
e tweaks
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
n
n
L
i
ght
refac
t
o
r
.
commit
|
commitdiff
|
tree
2009-05-31
Be
n
Lynn
Added
test
cases to tri
.
c and
rena
m
ed it
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Print sudoku solutions
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lyn
n
Mo
r
e
r
efac
t
o
ring
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
More refactor
i
ng
.
commit
|
commitdiff
|
tree
2009-05-31
B
e
n Lynn
In
t
rod
u
ced in
t
version of darra
y
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
n
n
M
i
no
r
com
m
ent in memo
.
c
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Cleaned up zd
d
_
count()
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
M
o
ved die() to new file
.
commit
|
commitdiff
|
tree
2009-05-31
Ben
L
yn
n
Prune imp
l
ied
domi
n
oes
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Prune when implied
m
onom
i
no is nex
t
t
o
a
1
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Fillomino
s
o
l
v
er enforces adjacency constraint
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Fillom
i
no knows about some
a
d
j
a
cency constrai
n
ts
.
commit
|
commitdiff
|
tree
2009-05-30
Ben
Lynn
Fill
o
mino so
l
ver can
p
rint solution
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
More fill
.
c
fi
x
e
s
.
commit
|
commitdiff
|
tree
2009-05-30
Ben
L
ynn
Change order of inte
r
sections in
f
i
l
l
.
c
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Ly
n
n
(
Incomplet
e
) Fillomi
n
o
s
olver
bugf
i
x
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Red
u
ce
memory usage
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Tweaked Dominosa solve
r
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Smar
t
er order for solving Dominosa
.
commit
|
commitdiff
|
tree
2009-05-29
B
en
L
yn
n
Wrot
e
Dominosa so
l
v
er
.
commit
|
commitdiff
|
tree
2009-05-29
B
e
n Ly
n
n
Began Fillomi
n
o so
l
ver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Zero a lookup
table in no
n
ogram
solver
.
commit
|
commitdiff
|
tree
2009-05-29
Be
n
Lynn
Light U
p
works
.
commit
|
commitdiff
|
tree
2009-05-29
Ben L
y
nn
W
rote contains_exact
l
y
_n()
.
commit
|
commitdiff
|
tree
2009-05-28
B
e
n Lynn
Fixed bug in contains_at_most_one()
.
commit
|
commitdiff
|
tree
2009-05-28
B
en Lynn
Wr
o
te contains_at_most_one()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lynn
S
ta
r
ted Li
g
h
t Up solver
.
commit
|
commitdiff
|
tree
2009-05-27
Ben
L
ynn
Su
d
o
ku
s
olver uses ZDD library
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Conver
t
ed tri
.
c to
u
se library
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Move ZDD
r
outines into new file
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Rename nonogra
m
solv
e
r
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n L
y
nn
Sol
v
es n
o
nograms o
f
arbitrary size
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Ly
n
n
Print solution
.
commit
|
commitdiff
|
tree
2009-05-26
Ben
Lyn
n
Column
clue ZDD genera
t
ion fixe
s
.
It works
!
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
ZDD fo
r
si
n
gle column clue
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Ly
n
n
Sta
r
ted column clu
e
s
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n Lynn
Variable renam
e
s
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
ZDD for general r
o
w
clue
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n Lynn
Logic tweak; prepari
n
g
fo
r
gene
r
al
c
ase
.
commit
|
commitdiff
|
tree
2009-05-26
Ben
Lynn
Started nonogr
a
m so
l
ver
.
commit
|
commitdiff
|
tree
2009-05-25
Ben Lyn
n
Sudoku ZDD
g
eneration is faster
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Coun
t
1, 2, 3-polyonimo tilings of
chessboard
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
For
g
ot to a
d
d
d
array source
.
commit
|
commitdiff
|
tree
2009-05-24
B
e
n Lyn
n
Better node
o
rde
r
ing for do
m
in
o
p
roblem
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
L
ynn
ZDD for do
m
i
n
o
tilings o
f
a ches
s
board
.
commit
|
commitdiff
|
tree
2009-05-24
B
e
n
Lynn
Reduce
d
more precompu
t
ed Z
D
Ds
.
commit
|
commitdiff
|
tree
2009-05-24
B
e
n
Lynn
Red
u
c
e preco
m
puted ZDDs
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
L
ynn
Fi
x
unreduced ZDD
in gl
o
bal_one_digit_per_
b
ox(
)
.
commit
|
commitdiff
|
tree
2009-05-24
B
e
n Lynn
Can so
l
ve sudokus
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Sets containing
exact
l
y 1
e
lemen
t
from g
i
ven l
i
s
t
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lyn
n
Naive i
n
tersection works
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Ly
n
n
ZDD reduction
w
i
t
h
n
a
i
ve algorit
h
m
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Lynn
Sets wh
e
re a given digit exactly once per row
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Lynn
Added Mak
e
file
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Lynn
Direc
t
l
y comp
u
te o
n
e-digit-per-
b
ox Z
D
D
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lyn
n
Fre
e
templates after
i
ntersec
t
i
on
.
commit
|
commitdiff
|
tree
2009-05-21
B
e
n Lynn
Intersec
t
ion partial
l
y im
p
l
e
mented
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
Sudo
k
u
s
olver usin
g
ZDDs
.
commit
|
commitdiff
|
tree