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
Hand
l
e
empty case
.
commit
|
commitdiff
|
tree
2009-06-03
Be
n
L
ynn
Sli
t
her
L
ink
solver fix
e
s
.
commit
|
commitdiff
|
tree
2009-06-02
B
e
n Lynn
Im
p
ro
v
ed Sli
t
her
L
ink solver
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
A
llow
computatio
n
o
n grid graphs lar
g
er than 11x11
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
L
y
nn
A
d
ded test finding simple cycles in grid gr
a
phs
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Smoother drawings
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Sli
g
ht
twe
a
ks
.
commit
|
commitdiff
|
tree
2009-06-01
Be
n
Lynn
S
olves
S
lither Link
.
commit
|
commitdiff
|
tree
2009-06-01
B
e
n Lynn
F
ixed bug
.
C
onfirmed Knuth's nu
m
b
er fo
r
8x8 case
.
commit
|
commitdiff
|
tree
2009-06-01
Ben L
y
nn
A
t
tempts
to pri
n
t al
l
cycle
s
.
Missing som
e
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Ly
n
n
Produce
s
ZDD for simple
l
oops inef
f
iciently
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
Ly
n
n
Intersection
p
erformanc
e
t
w
eak
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Slither Link work continues
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Lynn
Start
e
d s
l
it
h
er link solver
.
commit
|
commitdiff
|
tree
2009-05-31
Ben
L
ynn
P
erfor
m
ance
t
w
e
a
ks
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Light refactor
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Lyn
n
Added test ca
s
es t
o
tri
.
c and renam
e
d it
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Prin
t
sudoku so
l
utions
.
commit
|
commitdiff
|
tree
2009-05-31
B
en
L
ynn
More r
e
f
actoring
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
M
o
re
r
efa
c
tori
n
g
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Introduced int
ver
s
ion o
f
darray
.
commit
|
commitdiff
|
tree
2009-05-31
Ben
Ly
n
n
Min
o
r co
m
ment in memo
.
c
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Cleane
d
up
z
dd_c
o
unt()
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lyn
n
Moved die() to new f
i
l
e
.
commit
|
commitdiff
|
tree
2009-05-31
Be
n
Lynn
Prune implied dom
i
noes
.
commit
|
commitdiff
|
tree
2009-05-30
Ben
Lynn
Prune when
imp
l
ied m
o
n
o
m
ino i
s
next to a
1
.
commit
|
commitdiff
|
tree
2009-05-30
B
e
n
Lynn
Fil
l
omino solver en
f
or
c
es
a
d
jacency co
n
straint
.
commit
|
commitdiff
|
tree
2009-05-30
Be
n
Lynn
Fillomino kno
w
s a
b
o
ut some adja
c
ency
c
onstraint
s
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Fillomi
n
o
s
olver can print
s
ol
u
tion
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
More fil
l
.
c fixes
.
commit
|
commitdiff
|
tree
2009-05-30
B
e
n Lynn
Chan
g
e order of intersection
s
in fill
.
c
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
(Incomplete) Fillomino sol
v
er bu
g
fix
.
commit
|
commitdiff
|
tree
2009-05-30
Ben L
y
nn
Reduce memory
u
sage
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Tweaked Domi
n
osa solver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
S
m
arter
o
rd
e
r for
s
o
lvin
g
Do
m
inos
a
.
commit
|
commitdiff
|
tree
2009-05-29
B
e
n Lynn
W
r
ot
e
Dominosa so
l
ver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben L
y
nn
Began F
i
llomino so
l
v
e
r
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Zero a lookup
table in nonogram sol
v
er
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Ly
n
n
L
i
g
h
t U
p
wor
k
s
.
commit
|
commitdiff
|
tree
2009-05-29
Ben L
y
nn
Wro
t
e cont
a
ins_ex
a
ctly_n()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lynn
F
i
xed b
u
g
in cont
a
ins_at_most_one(
)
.
commit
|
commitdiff
|
tree
2009-05-28
B
e
n
L
y
nn
Wrote contains_a
t
_mo
s
t_one()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lynn
St
a
rted Light Up solver
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Sudoku sol
v
er uses ZDD libr
a
r
y
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Co
n
verted tri
.
c to use
libra
r
y
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
M
ove ZDD ro
u
tines into n
e
w
fil
e
.
commit
|
commitdiff
|
tree
2009-05-27
Be
n
Lynn
Rename nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Solve
s
nonograms of arbit
r
ary siz
e
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
P
r
int solu
t
ion
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
C
olumn
c
l
ue
Z
DD generation fixes
.
It w
o
rks!
commit
|
commitdiff
|
tree
2009-05-26
Ben
Lynn
ZD
D
for sin
g
le column clue
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Started col
u
mn clu
e
s
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Variabl
e
renames
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
ZDD for gen
e
ral row clue
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Logic t
w
eak; pr
e
paring f
o
r general case
.
commit
|
commitdiff
|
tree
2009-05-26
B
en
Lynn
Sta
r
ted nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-25
Ben L
y
n
n
Su
d
oku ZDD generation is faster
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Cou
n
t 1, 2, 3-po
l
yonimo tilings
of ches
s
board
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Ly
n
n
F
orgot to add darray source
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
B
e
tter node o
r
dering for
d
o
mi
n
o
p
roble
m
.
commit
|
commitdiff
|
tree
2009-05-24
B
e
n
L
ynn
ZDD fo
r
domi
n
o tilings of a chessboard
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
R
e
duced
more p
r
ecomput
e
d
ZDDs
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Reduce
pr
e
com
p
u
t
ed Z
D
Ds
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Fix unreduced ZD
D
in gl
o
ba
l
_one_digit_per_box
(
)
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Can sol
v
e sudokus
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Sets
contai
n
ing exact
l
y 1
e
lement
f
r
o
m given list
.
commit
|
commitdiff
|
tree
2009-05-24
Be
n
L
yn
n
Na
i
ve inte
r
section wor
k
s
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
ZDD
reduction with
naive algo
r
ithm
.
commit
|
commitdiff
|
tree
2009-05-22
B
en Ly
n
n
Sets
where a given digit ex
a
ctl
y
once per row
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Lynn
Added Makefi
l
e
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Lynn
Directly compute on
e
-digit-pe
r
-box ZDD
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
F
ree templates after intersec
t
ion
.
commit
|
commitdiff
|
tree
2009-05-21
Ben
L
yn
n
Intersect
i
on partially impleme
n
ted
.
commit
|
commitdiff
|
tree
2009-05-21
B
e
n
L
ynn
Sudoku solver usin
g
ZDDs
.
commit
|
commitdiff
|
tree