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
Add CNF builder convenience functions
2010-06-10
Utz-Uwe
Haus
Add CNF builder convenience
functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe Haus
a
dd-clauses convenience f
u
nction
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-U
w
e Haus
Ne
w
method
s
y
nc
h
roni
z
e-backen
d
t
o a
l
low inc
r
emental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Add minisat b
a
c
k
end to lisp co
d
e, make it
t
he de
f
aul
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Minimalistic minisa
t
header and SWIG
int
e
gration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-
Uwe
H
au
s
A
utotools set
u
p for
minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
w
e H
a
us
Fi
x
fir
s
t line
i
n d
i
macs for
m
at export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Import minisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really
f
ix memory
issue:
P
recosat
Solver-
>
reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Hau
s
Fix with
-
ind
e
x-ha
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Properly dispose o
f
p
recosat
objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Add get-essential-varia
b
les implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree