repo.or.cz
/
cl-satwrap.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Fix macro expansion time confusion in with-index-hash
2010-06-22
Utz-Uw
e
H
a
u
s
Fix macro expansio
n
time confus
i
o
n
in
w
ith-in
d
ex-
h
ash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Haus
rem
o
ve d
e
b
ug
g
i
ng outp
u
t and ensure empty claus
e
s
are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix
c
all
to minisat so
l
ve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe Haus
F
ix non-cnf formula add
i
tion interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe H
a
us
Fix w
i
th-sat-solve
r
ma
c
ro to correctly reference *defaul
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(
minisat ba
c
kend ) Return num
b
er
of
queued assumpt
i
ons
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe
H
aus
Also
build
mi
n
isat b
a
cken
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
Fix assumption h
a
n
dling
in precosat
b
ack
e
nd
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
H
aus
A
d
d CNF bu
i
lder convenienc
e
functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
U
we Ha
u
s
add-cl
a
u
ses conveni
e
nce functi
o
n
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
N
ew method synch
r
o
n
ize-ba
c
kend to allow increment
a
l
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat backe
n
d to
l
isp code, make it the
default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Haus
M
i
n
imali
s
tic mini
s
at head
e
r and SWIG integrat
i
on
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Autotools
s
etup for m
i
nisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Hau
s
F
i
x first line i
n
dimacs format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
mport minis
a
t2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
u
s
R
eally fix m
e
mory issue: Precosat Solver->re
s
et() wa
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
Hau
s
Fix with-
i
ndex-
h
a
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz
-
Uwe Haus
P
r
o
p
erly dispos
e
of
p
recosat obje
c
ts
.
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
Uw
e
Haus
Add get-ess
e
ntial-variables implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree