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
a
us
Avoid dou
b
le mappi
n
g from sy
m
bolic literal
s
to
variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF
g
enerat
i
on if ex
p
l
i
cit
:
ATOMs are
u
sed
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-Uwe
H
aus
fix
a
dd-f
o
rmula t
o
drop :AND and
:OR-symbols
b
e
f
ore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we H
a
us
Fix macro expansion time conf
u
sion in with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
H
aus
remove d
e
bugg
i
ng o
u
tput and ensur
e
em
p
ty clauses a
r
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe H
a
us
F
ix call to mi
n
isat
s
olve
(
)
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix n
o
n-c
n
f formula addition in
t
er
f
ace
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
U
t
z-Uwe Haus
Fix w
i
th
-
sat
-
solver macro to correctl
y
referen
c
e *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Ha
u
s
(minisat ba
c
ke
n
d ) Re
t
urn number
o
f
queue
d
assump
t
i
ons
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also build minisat
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
Fi
x
assump
t
ion
h
an
d
ling in precosat bac
k
end
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uw
e
Haus
Add CNF
b
uilder con
v
eni
e
nce function
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe
H
aus
add-clauses c
o
nvenien
c
e fu
n
ction
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New method synchronize
-
backend
t
o a
l
l
ow
i
n
c
re
m
ental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Add minisat backend to lisp co
d
e, make
i
t
the d
e
f
a
u
lt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Haus
M
i
nimal
i
s
tic minisat
h
eader and SWIG integrat
i
on
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotools setup for
m
i
nisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
F
ix first lin
e
in dimacs f
o
rmat ex
p
ort
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Impo
r
t minisat
2
-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
u
s
Really fix me
m
ory is
s
ue: P
r
ecosat Solver->r
e
set() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Fix wi
t
h
-
index-has
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
us
P
r
operly dispose of pre
c
o
s
at objects
.
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe H
a
us
Add
g
et-essenti
a
l-vari
a
bles
implement
a
tion
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree