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
Ut
z
-Uwe H
a
us
a
dd-cl
a
uses
convenienc
e
function
commit
|
commitdiff
|
tree
2010-06-03
U
tz-Uwe Haus
New
m
e
t
hod synchronize-bac
k
end to allow in
c
re
m
ental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Add minisa
t
backend
t
o
lisp cod
e
, make it the defa
u
lt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
M
i
nima
l
i
stic minis
a
t header and SWIG integratio
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe
H
aus
Aut
o
tools setup f
o
r
m
ini
s
at
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Fi
x
first line
in
d
im
a
c
s
fo
r
mat export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Impo
r
t minisat2-0
7
0
7
21
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe
Haus
Really fix memory is
s
ue: Precosat
Solver->reset()
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we
Ha
u
s
Fix with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Pr
o
perly
d
i
s
pose of prec
o
sat ob
j
ects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
Add get-ess
e
ntial-variables imp
l
ementa
t
ion
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree