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 non-cnf formula addition interface
2010-06-17
Utz-
U
we Ha
u
s
F
i
x non-cnf f
o
r
mula addi
t
i
o
n
i
nterface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Ut
z
-Uwe Haus
Fix with-sa
t
-solver
macro to cor
r
ec
t
ly refere
n
ce *
d
efault
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
(minisat backend ) Return number of queued
as
s
umptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Ha
u
s
A
l
so bui
l
d
m
inisat backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
Fi
x
assum
p
tion handlin
g
i
n preco
s
at ba
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
tz-Uwe H
a
u
s
Add CNF builder
co
n
venience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe H
a
us
add-clauses conv
e
nience funct
i
o
n
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New m
e
thod synchr
o
ni
z
e-backend to all
o
w increment
a
l
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-
U
we Haus
Add mi
n
isat backend to lisp code, make
it the
d
e
fault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Haus
Minimalistic minisat header and SWIG in
t
egr
a
tion
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Autotools setu
p
for minisa
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Haus
Fix f
i
rst lin
e
in dimacs format expo
r
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Im
p
o
r
t mini
s
at
2
-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Really fix
m
emory
i
ssue: Pr
e
c
o
s
at Solve
r
->reset()
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix wi
t
h-ind
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Hau
s
Prop
e
r
l
y dispose
of p
r
ec
o
sat ob
j
ects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
us
Add
get-essential-
v
ariable
s
implem
e
ntation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree