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
(minisat backend ) Return number of queued assumptions from add_assumption
2010-06-15
Utz-Uwe Haus
(minisat ba
c
k
end
) Retu
r
n number of queued a
s
su
m
ptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
A
ls
o
b
u
i
l
d
m
i
nisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumpti
o
n h
a
ndling in precos
a
t backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add
C
NF
b
uild
e
r
conv
e
nience function
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-
U
we Ha
u
s
add-c
l
auses convenience
f
unction
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-U
w
e Haus
New me
t
h
o
d
synchronize-back
e
nd to allow in
c
rement
a
l
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Haus
Add minisat ba
c
kend to lisp code, make
i
t
the default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Minima
l
istic
mi
n
isa
t
h
e
a
d
e
r
an
d
SWI
G
i
nte
g
ration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uw
e
Haus
Autotools setup for mini
s
at
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Fix first
l
i
n
e
in dimacs
fo
r
mat
export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
w
e Haus
Import
m
inisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
Uwe Haus
R
e
a
lly fix memory issue: Precosat S
o
lver->reset() wa
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Fix with-in
d
e
x-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Properly dispose
o
f pre
c
osat objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add
g
e
t
-es
s
en
t
ial-
v
ariables implementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
A
d
d wi
t
h
-
sat-solver and with-index-hash
m
acros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add dimacs reader/write
r
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
Pro
p
er gar
b
age collection of for
e
ign ob
j
ects usi
n
g
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-
Uwe Haus
SWIG wr
a
ppe
r
layer and
.
i
f
ile for p
r
ecosat, minimalistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe
H
a
u
s
I
mport pre
c
o
sat-4
6
5
r2-2ce82ba-
1
0051
4
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Ha
u
s
In
i
tial layo
u
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree