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
Added test finding simple cycles in grid graphs.
2009-06-01
Ben Lynn
A
d
d
ed test
finding simp
l
e cycles in grid graphs
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lyn
n
Smoother drawings
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Sligh
t
tweaks
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
Ly
n
n
Solves Slither Link
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lyn
n
Fixed bug
.
C
onfirme
d
Knuth
'
s number for 8x8 case
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
Lynn
Attempts to pr
i
nt
all cycles
.
M
i
ssin
g
some
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
P
r
oduces ZDD for simple l
o
ops
i
neffic
i
en
t
ly
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Intersection performance twea
k
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
S
lit
h
er Link work co
n
tinues
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Started slithe
r
link solver
.
commit
|
commitdiff
|
tree
2009-05-31
B
e
n L
y
n
n
Performa
n
ce
twea
k
s
.
commit
|
commitdiff
|
tree
2009-05-31
Be
n
Lynn
Light ref
a
ctor
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
A
d
ded t
e
st cases to
tri
.
c a
n
d renamed it
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Lynn
Print sudoku solutions
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
More refactor
i
ng
.
commit
|
commitdiff
|
tree
2009-05-31
Ben
Lynn
More refa
c
torin
g
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Introdu
c
ed int versi
o
n of da
r
ray
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Minor comment in memo
.
c
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Cleaned up
zdd_count()
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Moved di
e
() to new
f
ile
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Lynn
Prune implied dominoes
.
commit
|
commitdiff
|
tree
2009-05-30
B
en Lynn
Prun
e
when
implied monomino is nex
t
t
o
a 1
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lyn
n
Fillomino solver en
f
or
c
es ad
j
acency
c
o
nstraint
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Fillomino knows about some
a
d
jacen
c
y constr
a
ints
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
F
illomino solver can pr
i
nt
s
olution
.
commit
|
commitdiff
|
tree
2009-05-30
Be
n
Lynn
More
fill
.
c fi
x
es
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Change ord
e
r of intersections in
fil
l
.
c
.
commit
|
commitdiff
|
tree
2009-05-30
Ben
L
ynn
(In
c
o
mp
l
ete)
Fillomin
o
solver bugfix
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Reduce me
m
ory usage
.
commit
|
commitdiff
|
tree
2009-05-29
B
e
n Lynn
Tweaked Dominosa solver
.
commit
|
commitdiff
|
tree
2009-05-29
B
en Lyn
n
Smarter ord
e
r for solv
i
ng Dominosa
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Wrote Dominosa solver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Ly
n
n
Began Fillomino solver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Z
e
ro a lookup table in non
o
gra
m
sol
v
er
.
commit
|
commitdiff
|
tree
2009-05-29
Be
n
Lynn
Light Up works
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Wrote conta
i
ns_exa
c
tly_n()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lynn
Fixed bug
in contai
n
s_at_m
o
st_one()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben L
y
nn
Wrote conta
i
ns_at_m
o
st_
o
n
e()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lyn
n
Started
Light
Up so
l
ver
.
commit
|
commitdiff
|
tree
2009-05-27
B
en Lynn
Sudoku solver use
s
ZDD
l
ibrary
.
commit
|
commitdiff
|
tree
2009-05-27
B
e
n
Lynn
Converted tri
.
c to u
s
e libra
r
y
.
commit
|
commitdiff
|
tree
2009-05-27
Ben
L
ynn
Move ZDD routines into new fi
l
e
.
commit
|
commitdiff
|
tree
2009-05-27
Be
n
Lynn
Rename non
o
g
r
am
s
olver
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
So
l
ves nonogr
a
ms of arbitrary s
i
ze
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Print solution
.
commit
|
commitdiff
|
tree
2009-05-26
Be
n
Lyn
n
Col
u
mn clue ZD
D
generation fixes
.
It w
o
r
k
s
!
commit
|
commitdiff
|
tree
2009-05-26
B
en Lynn
ZDD
for single col
u
mn clue
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n Lynn
Started colum
n
c
lues
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Variable rename
s
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lyn
n
ZDD for
g
eneral
row clue
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n Lynn
Logic tweak; preparing for general case
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Started
n
o
n
ogram sol
v
er
.
commit
|
commitdiff
|
tree
2009-05-25
Ben Lynn
Su
d
oku ZDD generatio
n
i
s faster
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
Lynn
Co
u
nt
1
, 2, 3-pol
y
onimo tiling
s
of ches
s
b
oard
.
commit
|
commitdiff
|
tree
2009-05-24
B
en Lynn
Forgot
t
o
a
dd darray source
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
L
ynn
Better node order
i
ng for domino
p
r
o
b
l
em
.
commit
|
commitdiff
|
tree
2009-05-24
B
en Lynn
ZDD for domino tilings
of a chess
b
oard
.
commit
|
commitdiff
|
tree
2009-05-24
B
en
Lynn
R
e
duced more precomp
u
ted ZDDs
.
commit
|
commitdiff
|
tree
2009-05-24
B
en Lynn
Red
u
ce pre
c
omputed
Z
DDs
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Fix
u
nredu
c
ed
ZDD in global_one
_
digit_per_bo
x
()
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lyn
n
Can
s
ol
v
e sudokus
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Sets containing exactly 1
element from give
n
list
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Naive
i
n
tersection
w
o
rks
.
commit
|
commitdiff
|
tree
2009-05-24
B
e
n
Lynn
ZDD reduction wit
h
na
i
ve algorithm
.
commit
|
commitdiff
|
tree
2009-05-22
Ben
Ly
n
n
Sets where
a
g
ive
n
digit exactly once per row
.
commit
|
commitdiff
|
tree
2009-05-22
Ben L
y
nn
A
d
ded Makef
i
le
.
commit
|
commitdiff
|
tree
2009-05-22
Ben
L
ynn
Directly compute one-
d
igit-
p
er-
b
ox Z
D
D
.
commit
|
commitdiff
|
tree
2009-05-21
Ben
L
ynn
F
r
ee
t
e
mplates
a
fter int
e
rsection
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
In
t
ersection partially
i
mplemen
t
ed
.
commit
|
commitdiff
|
tree
2009-05-21
Be
n
Lynn
Sudoku solver u
s
ing ZDDs
.
commit
|
commitdiff
|
tree