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
Avoid double mapping from symbolic literals to variables in CNF creation
2010-06-22
Utz
-
Uwe
H
aus
Avoid double mappi
n
g from symbolic
litera
l
s to vari
a
b
l
es
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
Fix N
N
F
generation
i
f explicit :
A
TOMs a
r
e used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
fix ad
d
-formula to
d
rop :AND and :OR-symbols be
f
ore
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
F
i
x
macro expansion t
i
me
c
onfusion in
w
ith-index-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Hau
s
r
e
move debu
g
g
ing
output and ensure empty
c
lauses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix c
a
ll to
mi
n
isat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe Haus
Fix n
o
n-cnf
f
o
rmula
a
dditio
n
interfac
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz
-
U
w
e Haus
Fix with
-
sat-solver macro to correctly reference
*
d
efault
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe
Haus
(mi
n
i
s
at back
e
nd
)
Return num
b
er of que
u
ed
a
ssumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z
-Uwe Haus
Also build
mi
n
isa
t
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix ass
u
m
pti
o
n handling in precosa
t
backen
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe Haus
A
d
d
CNF builder convenience functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-
U
we Haus
a
d
d-clauses
c
onven
i
enc
e
functio
n
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
N
ew
method synchronize-
b
a
ckend to allow incre
m
ental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-
Uwe
H
aus
Add mi
n
i
sat back
e
nd
to
l
isp
co
d
e, make i
t
the de
f
aul
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minima
l
ist
i
c minisat he
a
der and SWIG in
t
e
g
ration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Autotools setup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix fir
s
t li
n
e i
n
d
i
macs
format
e
xport
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
w
e Haus
Import minisat2
-
070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Really f
i
x memory issue: Precos
a
t S
o
l
v
er->res
e
t() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
Fix w
i
th-index-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
Properly dispose o
f
precosat objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
u
s
Ad
d
get-essen
t
i
al
-
v
a
riables implem
e
ntat
i
o
n
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Add with-sat-solver and with
-
index-hash macr
o
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
A
dd dimacs
r
e
a
der/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Hau
s
Proper garbage collection of foreign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
S
W
IG wrapper layer and
.
i file for precosat, minimalist
i
c
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
t
z-Uwe Hau
s
Impo
r
t precosat-465r2-2ce
8
2ba-1005
1
4
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Ut
z
-
U
we H
a
us
Initial
layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree