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-clauses convenience function
2010-06-10
Utz-Uwe Haus
add-cla
u
ses c
o
nvenience function
commit
|
commitdiff
|
tree
2010-06-03
U
t
z
-Uwe Hau
s
N
e
w
m
ethod synchroniz
e
-
b
ackend to
a
llow
i
ncre
m
e
n
t
al
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Ad
d
m
inisat
ba
c
kend
to lisp co
d
e, make it the def
a
u
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
w
e Haus
Minimalis
t
ic
minisat
head
e
r and SWIG i
n
tegr
a
ti
o
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
A
u
totools
s
e
t
up
for m
i
nisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix f
i
rst line in dimacs
fo
r
m
a
t
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Import minisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Really
fix
m
e
mory issue: Precosat Solver->reset(
)
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Fix with-i
n
dex
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Properly dispose of
p
re
c
o
s
a
t o
b
j
ects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
A
d
d
g
et-essential-variab
l
es imple
m
entatio
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree