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
Import PicoSAT-965
2016-05-30
Utz-Uwe Haus
Impor
t
PicoSA
T
-
9
65
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Import Pico
S
AT-913
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-
Uwe
H
aus
Fix first line
i
n
d
imacs fo
r
mat export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
mport minisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
R
eally
f
ix m
e
m
ory
issue: Precosat S
o
lve
r
->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Fix with-in
d
e
x-h
a
sh
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Proper
l
y dispose of precosat objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add ge
t
-essential-variables implement
a
tion
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add
with-sat-solver an
d
wi
t
h-in
d
ex-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add
d
i
m
acs r
e
ader/w
r
iter
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Pro
p
e
r
g
a
rbage coll
e
ct
i
on of f
o
reign obj
e
cts using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Ha
u
s
SWIG wrapper lay
e
r
and
.
i
file for preco
s
at
,
m
inim
a
l
istic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Import p
r
ecosat-4
6
5r2-2
c
e82ba-
1
0
0
514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-U
w
e Haus
Initial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree