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
B
en Lyn
n
Minor document
a
tion edits
.
commit
|
commitdiff
|
tree
2009-11-29
Ben L
y
nn
Ad
d
ed co
m
ments
.
commit
|
commitdiff
|
tree
2009-07-30
Be
n
Lynn
Added R
E
AD
M
E
.
Improved Make
f
ile
.
commit
|
commitdiff
|
tree
2009-06-25
Ben Lynn
S
t
arted
nurikabe
solver
.
commit
|
commitdiff
|
tree
2009-06-20
Be
n
L
y
nn
Compute standard deviations in cycle_
t
est
.
commit
|
commitdiff
|
tree
2009-06-03
B
e
n Lynn
Compu
t
e a
v
er
a
ge cycle length
.
commit
|
commitdiff
|
tree
2009-06-03
Ben
Ly
n
n
Dynamic allocation for zdd_count()
.
commit
|
commitdiff
|
tree
2009-06-03
B
e
n L
y
nn
A
d
ded zdd_forlar
g
est()
.
I
m
p
roved cycl
e
_test
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Lyn
n
Handle empty case
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Lynn
S
l
ith
e
r
Link solver
fixes
.
commit
|
commitdiff
|
tree
2009-06-02
Ben Ly
n
n
Improved Slit
h
er Link solver
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Allow compu
t
ation on grid g
r
aphs larger than 11x
1
1
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Ad
d
ed test findin
g
si
m
p
le cycles in gri
d
graphs
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Smoother drawings
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
L
ynn
Slight t
w
eaks
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Solves Slith
e
r Li
n
k
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Ly
n
n
Fixed bu
g
.
Conf
i
rmed Knuth's number
f
or 8x8 c
a
se
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
L
y
nn
Att
e
mpts to print al
l
cycl
e
s
.
Missing some
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Produces ZDD for simp
l
e loops ineff
i
ciently
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Ly
n
n
Intersect
i
on per
f
ormance tweak
.
commit
|
commitdiff
|
tree
2009-06-01
B
e
n
Lynn
Slither Link
w
ork co
n
tinues
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
nn
Started
slither li
n
k
solve
r
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
P
e
rf
o
r
m
a
n
c
e
tweaks
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Lynn
Light ref
a
ctor
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Ly
n
n
Added test cases to tri
.
c and rename
d
it
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Print sudo
k
u solutions
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
nn
More refac
t
oring
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
nn
More
re
f
ac
t
orin
g
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Ly
n
n
Introduced int
v
ersion of
darray
.
commit
|
commitdiff
|
tree
2009-05-31
Ben
L
ynn
M
ino
r
comm
e
nt in memo
.
c
.
commit
|
commitdiff
|
tree
2009-05-31
Ben L
y
nn
Clean
e
d u
p
zdd_coun
t
()
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Moved die() t
o
new file
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Prune i
m
plied dom
i
noes
.
commit
|
commitdiff
|
tree
2009-05-30
B
en L
y
nn
P
rune when imp
l
ied mon
o
m
i
no
is next t
o
a
1
.
commit
|
commitdiff
|
tree
2009-05-30
B
e
n
Ly
n
n
Fillomino
s
olve
r
enforce
s
adjacency constr
a
i
n
t
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lyn
n
Fillomi
n
o knows about some adjacency constraints
.
commit
|
commitdiff
|
tree
2009-05-30
Be
n
L
ynn
F
i
llomino solver can print solutio
n
.
commit
|
commitdiff
|
tree
2009-05-30
B
en Lynn
More fill
.
c fixes
.
commit
|
commitdiff
|
tree
2009-05-30
Be
n
Lynn
Change or
d
er of interse
c
t
i
ons
in fill
.
c
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
(Incomplete) F
i
llomino solv
e
r
bug
f
i
x
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Reduce memory usage
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
T
weak
e
d Domi
n
os
a
s
olver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Smarter
o
rder fo
r
solving
Do
m
inosa
.
commit
|
commitdiff
|
tree
2009-05-29
Ben L
y
nn
Wr
o
te Do
m
inosa solve
r
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Began Fillomi
n
o
s
olver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lyn
n
Z
e
ro a looku
p
tab
l
e i
n
nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-29
B
e
n
Lynn
Light Up
w
orks
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
W
r
ote contains_exa
c
tly_n()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben
L
y
nn
Fixe
d
bug
i
n con
t
ains_at_most_o
n
e
()
.
commit
|
commitdiff
|
tree
2009-05-28
B
en Lynn
Wrote contains_at_most_one()
.
commit
|
commitdiff
|
tree
2009-05-28
B
e
n Ly
n
n
Started Light Up solver
.
commit
|
commitdiff
|
tree
2009-05-27
Be
n
Lynn
S
u
doku s
o
lve
r
uses ZDD
l
ibrary
.
commit
|
commitdiff
|
tree
2009-05-27
B
en Lynn
C
o
nv
e
rt
e
d tri
.
c t
o
use library
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Move ZDD ro
u
tines into n
e
w
file
.
commit
|
commitdiff
|
tree
2009-05-27
Ben
L
ynn
Rename nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n Ly
n
n
So
l
ves nonogra
m
s
of
arbitrary size
.
commit
|
commitdiff
|
tree
2009-05-26
Ben
Lynn
Pr
i
nt solu
t
ion
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
C
olumn clue
ZDD generation fixes
.
It works!
commit
|
commitdiff
|
tree
2009-05-26
B
en
Lyn
n
Z
DD f
o
r single col
u
mn clu
e
.
commit
|
commitdiff
|
tree
2009-05-26
Ben L
y
n
n
Starte
d
c
olumn clu
e
s
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n Lynn
Variable renames
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
ZDD for general row clue
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Logic
t
w
e
a
k
; prep
a
r
ing for general
case
.
commit
|
commitdiff
|
tree
2009-05-26
Ben
L
ynn
S
t
ar
t
ed nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-25
Ben Lynn
Sudoku ZDD gener
a
tion
i
s
faster
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Count 1, 2, 3-polyon
i
mo ti
l
ings of
c
hessboard
.
commit
|
commitdiff
|
tree
2009-05-24
Be
n
Lynn
Forgot
to add darray source
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lyn
n
B
etter node o
r
dering for domino problem
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
ZDD
f
o
r domi
n
o
tili
n
gs of a
chess
b
o
a
rd
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
Lynn
Reduce
d
more p
r
ecomputed
Z
DD
s
.
commit
|
commitdiff
|
tree
2009-05-24
Be
n
L
ynn
R
e
duce
precomputed ZDDs
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
F
ix unreduce
d
ZDD
in global_on
e
_digit_p
e
r_box()
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
Lynn
Can solve sudo
k
us
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
S
et
s
containin
g
exactly 1 e
l
ement fr
o
m gi
v
en list
.
commit
|
commitdiff
|
tree
2009-05-24
Be
n
Lynn
Naive i
n
tersect
i
on works
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
ZDD reduction wi
t
h naive
algorithm
.
commit
|
commitdiff
|
tree
2009-05-22
Ben
L
ynn
Sets where a given
d
igit exactly once per row
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Lynn
Added
M
akefile
.
commit
|
commitdiff
|
tree
2009-05-22
B
en Lynn
D
irectly comput
e
o
n
e-d
i
git-p
e
r-bo
x
ZDD
.
commit
|
commitdiff
|
tree
2009-05-21
B
e
n Lynn
Free
tem
p
lat
e
s after
intersection
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
Intersection partially implemented
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
Sudoku solv
e
r u
s
in
g
Z
DDs
.
commit
|
commitdiff
|
tree