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
Ut
z
-
Uwe Hau
s
Avoi
d
dou
b
le mappi
n
g from symbolic l
i
terals
to
v
ariables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Fix N
N
F generat
i
on
if exp
l
icit :ATOMs a
r
e
used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
a
u
s
fi
x
add-formula to drop :AND an
d
:OR-sy
m
bols be
f
or
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fi
x
macro e
x
pans
i
on
time confusio
n
in with-ind
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe H
a
us
r
emove debuggi
n
g output and ensure empty
c
la
u
s
e
s are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-
U
we Ha
u
s
Fix call to
m
ini
s
at solve
(
)
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
i
x non-cnf formula addition inter
f
ace
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe H
a
u
s
Fix wi
t
h-sat-
s
olver macro
to c
o
rrectly refere
n
ce *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe H
a
us
(minisat backend ) Return number of qu
e
ued
a
ssumpti
o
ns
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Hau
s
Also build m
i
n
isat backen
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe H
a
us
Fix assump
t
i
on handl
i
ng in
precosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe Haus
Add C
N
F build
e
r conv
e
nience
functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-cla
u
se
s
conven
i
enc
e
func
t
ion
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New method sync
h
r
o
nize-backend t
o
allow incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz
-
Uwe Haus
Add minisat backend
t
o lisp code
,
make it the d
e
fault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe H
a
us
Minimalist
i
c minisa
t
header and SWIG i
n
tegra
t
ion
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Au
t
ot
o
ols se
t
u
p for mi
n
isat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-Uwe
H
aus
Fix first li
n
e
i
n
dimacs format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Import min
i
sat
2
-070
7
2
1
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix memory issue: Pr
e
cosat Solver->reset() wa
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix with
-
i
n
d
e
x
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
Haus
Properly dispose of precosat objects
.
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
A
d
d ge
t
-essential-variabl
e
s
implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree