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
Reduce consing in flush-to-backend
2010-06-22
Utz-Uwe H
a
u
s
Reduce
consing in f
l
ush
-
to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Add vector variant
f
or clause-
v
a
l
i
d metho
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
U
w
e H
a
us
Reduce consing and recurs
i
o
n
i
n
split-delimited-
s
tring
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
A
l
l
o
w
assump
t
ions to be lis
t
s
or
ve
c
t
ors
in
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Ha
u
s
A
v
oid double mapping from
s
ymbolic
lite
r
als to variab
l
es
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF g
e
neration if expl
i
c
i
t :ATOM
s
are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Ha
u
s
fix add-formula to
d
r
o
p
:AND and
:OR
-
sy
m
b
ol
s
before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
F
i
x macro expansion ti
m
e confus
i
on in wi
t
h-
i
ndex-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Hau
s
remov
e
debugg
i
ng output and ensure empty cla
u
ses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix call to
minis
a
t
so
l
ve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fi
x
n
on-cnf
f
ormula a
d
dition interfac
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe
H
aus
Fix with-
s
at-solve
r
macro
t
o
c
o
r
rectly
reference *
d
ef
a
ult
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Hau
s
(minisat backend ) Return num
b
er
o
f queued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uw
e
Haus
Als
o
build minisat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fi
x
as
s
umption handling i
n
precosat 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
b
uilder convenie
n
ce functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
a
d
d-cla
u
ses convenience
f
unc
t
ion
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe
H
aus
N
e
w method synchronize-
b
ac
k
end to allow incremen
t
al
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat backe
n
d to lis
p
code, make it the defau
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Mi
n
imali
s
tic m
i
nisat header and SWIG
i
ntegra
t
ion
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uw
e
Ha
u
s
Aut
o
tools setup f
o
r min
i
sat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
U
w
e Haus
F
ix fir
s
t line in dimacs
format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Import minisat2-07
0
7
21
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix
m
em
o
ry issue: Preco
s
at S
o
lver->reset
(
)
wa
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
F
i
x with-index-has
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Prope
r
ly di
s
pose of pr
e
cosat o
b
jects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Add ge
t
-
e
ssential-varia
b
les im
p
l
e
m
e
ntatio
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree