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 Haus
Avo
i
d double mapping fr
o
m
symbolic lite
r
a
ls to
v
ar
i
a
b
les
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe
Haus
Fix NNF
g
e
n
erat
i
o
n
if explicit :ATOMs are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix add-
f
ormula
to drop :AND and :O
R
-sym
b
ols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Fix macro expa
n
s
i
on time confusion in with-in
d
ex-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
remove
d
ebugging output a
n
d
ensure emp
t
y clauses ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe
H
a
u
s
Fix call t
o
mi
n
is
a
t solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
Fix
n
on-cnf f
o
rmula ad
d
ition inter
f
a
c
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix
with
-
sat-
s
olver macro to correc
t
ly refer
e
nce *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
w
e
Haus
(
m
inisat
backend ) R
e
tur
n
n
u
mber
of q
u
eued assu
m
ptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uw
e
Haus
A
lso build
m
inisat
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z
-
Uwe H
a
us
Fix assumption
h
andli
n
g in prec
o
sat b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe H
a
u
s
Add CNF builder
c
onvenience func
t
ions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Ha
u
s
add-
c
la
u
ses conven
i
ence function
commit
|
commitdiff
|
tree
2010-06-03
Utz-
U
we Ha
u
s
New
method synchronize-backen
d
to allow in
c
r
e
m
e
ntal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe
H
a
u
s
Add minis
a
t ba
c
kend to
l
i
sp code, mak
e
it t
h
e defau
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
M
i
nima
l
isti
c
minisat header an
d
SWIG inte
g
ration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Ha
u
s
Autotools set
u
p
for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-
U
we Hau
s
F
ix fi
r
st line in dimacs format
e
xp
o
rt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Ha
u
s
Import minisat2-0
7
0721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
w
e
Ha
u
s
R
eally fix memory issue: Precosat
S
olve
r
->reset(
)
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Fix
w
ith-index-has
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
P
r
operly di
s
po
s
e of precosat obje
c
ts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we
H
aus
Add get-essent
i
al-variables
i
m
p
lem
e
ntation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
