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
Fix call to minisat solve()
2010-06-17
U
t
z
-Uwe Haus
Fix ca
l
l to m
i
nisat so
l
ve
(
)
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e Ha
u
s
Fi
x
non-cnf formu
l
a addition interfac
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe H
a
us
Fix
with-sat-so
l
v
er macro to correctly reference *defaul
t
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
(
mi
n
isat back
e
nd ) Return number o
f
queued
a
s
sump
t
ion
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z
-
Uwe Hau
s
Al
s
o bu
i
ld minisat ba
c
k
e
nd
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we
Haus
Fix assumption hand
l
ing in precos
a
t b
a
ckend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-U
w
e Haus
Add CNF buil
d
e
r convenience functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-
c
lau
s
es
c
onvenience functio
n
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe
H
aus
N
ew
m
e
t
hod sync
h
ronize-backend to allow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisa
t
b
ackend to lisp code
,
make it the defa
u
l
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Minimalis
t
i
c
m
i
nisat
he
a
der and SW
I
G integrati
o
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we
H
aus
Aut
o
t
o
ols setup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe H
a
us
Fix
fi
r
st
line
in dima
c
s format expor
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Imp
o
rt m
i
nisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Re
a
lly fix
m
emor
y
i
s
su
e
: Precosat Solver->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-Uwe H
a
us
F
ix with-index-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe
H
aus
P
roperly dis
p
ose of
precosat objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Hau
s
Add get-essen
t
ial
-
variab
l
es impl
e
m
entat
i
on
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-
U
we Haus
Ad
d
with-s
a
t-solver and wi
t
h-index-hash mac
r
o
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Ad
d
dimacs
r
eader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-
U
w
e
Hau
s
Pro
p
er garbage col
l
ection of foreign ob
j
e
cts usin
g
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
us
SW
I
G wrap
p
er l
a
yer and
.
i file for precosat, mini
m
alistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe H
a
us
Import precosat-465r2-2
c
e82ba-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe
Haus
Initial lay
o
ut
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree