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
B
e
n
Lynn
Handle empty c
a
se
.
commit
|
commitdiff
|
tree
2009-06-03
Ben Lynn
Slither Link solver fix
e
s
.
commit
|
commitdiff
|
tree
2009-06-02
Ben Ly
n
n
Improved Sli
t
her
L
ink solver
.
commit
|
commitdiff
|
tree
2009-06-01
B
en Ly
n
n
A
l
low computa
t
ion on grid graphs larg
e
r t
h
a
n
11
x
11
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
Ly
n
n
Added
t
est
f
inding simple
cy
c
l
es in gr
i
d gr
a
phs
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Sm
o
other drawin
g
s
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Slig
h
t tweaks
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
Lynn
Solves Slit
h
er Link
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
Lynn
F
ixed bug
.
Co
n
f
i
rmed Knu
t
h's
n
umber
for
8
x8 case
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Ly
n
n
Attempts to p
r
int a
l
l cycles
.
M
issing some
.
commit
|
commitdiff
|
tree
2009-06-01
Ben
L
y
n
n
Produc
e
s ZD
D
f
o
r simp
l
e loops inef
f
ici
e
ntl
y
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Lynn
Interse
c
tion
perfor
m
ance
tw
e
ak
.
commit
|
commitdiff
|
tree
2009-06-01
Ben Ly
n
n
Slither Lin
k
work continues
.
commit
|
commitdiff
|
tree
2009-05-31
B
e
n Lynn
Started slith
e
r link
s
olver
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Perform
a
nce tweaks
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lyn
n
L
i
ght ref
a
ctor
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lyn
n
Adde
d
t
e
st cases to tri
.
c
and renamed it
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Ly
n
n
Print sudoku solutions
.
commit
|
commitdiff
|
tree
2009-05-31
Ben
L
y
n
n
More r
e
factoring
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lyn
n
More refactorin
g
.
commit
|
commitdiff
|
tree
2009-05-31
B
e
n
L
y
n
n
Introduced
i
n
t
ver
s
ion of da
r
ray
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Minor
com
m
en
t
in
m
emo
.
c
.
commit
|
commitdiff
|
tree
2009-05-31
Ben
L
ynn
C
l
eaned up
zdd_count()
.
commit
|
commitdiff
|
tree
2009-05-31
Ben Lynn
Mov
e
d d
i
e() to n
e
w file
.
commit
|
commitdiff
|
tree
2009-05-31
B
en Lynn
Prune impli
e
d domino
e
s
.
commit
|
commitdiff
|
tree
2009-05-30
B
en Lynn
P
r
une
w
hen impli
e
d monomino is next to a 1
.
commit
|
commitdiff
|
tree
2009-05-30
Ben L
y
nn
Fillomino solver enf
o
r
ces ad
j
ac
e
n
c
y cons
t
raint
.
commit
|
commitdiff
|
tree
2009-05-30
B
en Ly
n
n
Fillo
m
ino
knows abou
t
som
e
adjacency constraints
.
commit
|
commitdiff
|
tree
2009-05-30
Ben
L
ynn
Fillomi
n
o solver can print so
l
ution
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
More fill
.
c fixes
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Change ord
e
r of intersect
i
on
s
in
f
i
ll
.
c
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
(I
n
c
o
mplete)
F
i
l
l
o
mi
n
o solver bugfix
.
commit
|
commitdiff
|
tree
2009-05-30
Ben Lynn
Reduce memo
r
y us
a
ge
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
T
w
eaked
D
ominosa
s
olver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Smart
e
r o
r
de
r
f
o
r
solving D
o
minosa
.
commit
|
commitdiff
|
tree
2009-05-29
B
e
n
L
ynn
Wrote Dominosa solv
e
r
.
commit
|
commitdiff
|
tree
2009-05-29
B
en Lynn
Began Fillomino solv
e
r
.
commit
|
commitdiff
|
tree
2009-05-29
Ben Lynn
Zero a
lo
o
kup table in nonogram solver
.
commit
|
commitdiff
|
tree
2009-05-29
Ben
Lynn
L
i
g
ht Up works
.
commit
|
commitdiff
|
tree
2009-05-29
Ben
Lynn
W
r
ot
e
contai
n
s_e
x
actly_n()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben Lynn
Fixed b
u
g in contains_at_mo
s
t_
o
ne()
.
commit
|
commitdiff
|
tree
2009-05-28
B
en Lyn
n
Wro
t
e contains_a
t
_most_one()
.
commit
|
commitdiff
|
tree
2009-05-28
Ben L
y
nn
Starte
d
Light Up sol
v
er
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Sudoku solver uses
ZDD li
b
rary
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Lynn
Converted tri
.
c to use
l
ibr
a
ry
.
commit
|
commitdiff
|
tree
2009-05-27
Ben Ly
n
n
Move ZDD routi
n
es into new f
i
le
.
commit
|
commitdiff
|
tree
2009-05-27
B
en
L
ynn
Rename nono
g
ram
sol
v
e
r
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Solves nonograms of arbitrary size
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Ly
n
n
P
rint soluti
o
n
.
commit
|
commitdiff
|
tree
2009-05-26
B
e
n
Lynn
C
olumn clu
e
ZDD
generation fixes
.
It wo
r
k
s
!
commit
|
commitdiff
|
tree
2009-05-26
Be
n
L
y
nn
ZDD fo
r
singl
e
column clue
.
commit
|
commitdiff
|
tree
2009-05-26
Ben L
y
nn
Started
c
olumn clues
.
commit
|
commitdiff
|
tree
2009-05-26
Ben
L
y
n
n
Variable ren
a
mes
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Z
D
D
for general
r
ow
c
lue
.
commit
|
commitdiff
|
tree
2009-05-26
Ben L
y
n
n
Logic t
w
eak; pr
e
paring for general case
.
commit
|
commitdiff
|
tree
2009-05-26
Ben Lynn
Start
e
d nonog
r
a
m
solver
.
commit
|
commitdiff
|
tree
2009-05-25
Ben L
y
nn
Sudoku ZDD gen
e
ration is faster
.
commit
|
commitdiff
|
tree
2009-05-24
B
en Lyn
n
Count 1, 2,
3
-polyonim
o
tilings of ch
e
ssboard
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Forgot
t
o
a
dd dar
r
a
y
s
ourc
e
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
L
y
n
n
B
ette
r
node
ordering for
d
om
i
no prob
l
em
.
commit
|
commitdiff
|
tree
2009-05-24
B
en Lynn
ZDD for
d
omino
t
ilings of a chessboard
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Ly
n
n
Reduced
more precompute
d
ZDDs
.
commit
|
commitdiff
|
tree
2009-05-24
Ben
L
ynn
Red
u
c
e
precomputed
ZDDs
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Ly
n
n
Fix unreduced ZDD
i
n global_one_digit_per_
b
ox()
.
commit
|
commitdiff
|
tree
2009-05-24
B
en Lynn
Can
s
olve sudokus
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Sets containing exactly 1 element from
g
iven l
i
st
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
Naive intersection work
s
.
commit
|
commitdiff
|
tree
2009-05-24
Ben Lynn
ZDD reduction with naive
a
lgorithm
.
commit
|
commitdiff
|
tree
2009-05-22
Ben Ly
n
n
Sets
w
here a given digit
exac
t
ly o
n
ce per row
.
commit
|
commitdiff
|
tree
2009-05-22
Ben L
y
nn
A
d
d
e
d Makefil
e
.
commit
|
commitdiff
|
tree
2009-05-22
Be
n
Lynn
Directly
compute
o
ne-dig
i
t-
p
e
r
-box ZD
D
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
Free template
s
af
t
er intersection
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
Inters
e
ction part
i
ally
i
m
p
l
emented
.
commit
|
commitdiff
|
tree
2009-05-21
Ben Lynn
Su
d
oku
s
olve
r
u
s
ing ZDD
s
.
commit
|
commitdiff
|
tree