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
New method synchronize-backend to allow incremental flushing
2010-06-03
Utz
-
Uw
e
Haus
New
m
ethod synchronize-backend to allow
in
c
r
e
mental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-
U
we Haus
Add m
i
ni
s
at backend to
l
isp c
o
de, make it
t
he default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
M
i
nimalis
t
ic mi
n
isat he
a
de
r
a
nd SWIG i
n
tegratio
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Autotools s
e
tup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix firs
t
line in di
m
acs format
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
Uwe
Haus
Import
minis
a
t2-0707
2
1
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Hau
s
R
e
ally fix me
m
o
r
y issu
e
:
Precosat Sol
v
er->
r
eset() w
a
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we H
a
us
Fix wit
h
-inde
x
-ha
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Properl
y
dispose of precosat obj
e
cts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Add get-essential-var
i
ab
l
e
s
implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree