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
update to newer libtool, keep in-tree
2011-05-09
Utz-U
w
e
H
a
us
upda
t
e
t
o newer li
b
tool,
keep in
-
tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe H
a
us
another round of defaul
t
test predicate m
e
ss
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
tz-Uwe Ha
u
s
messing wit
h
default te
s
t
p
redicate in macro ag
a
in
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uwe Haus
.
gitignore
u
p
d
ate
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-
U
we Ha
u
s
fixes for p
a
ckage name confusion in swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
Reduc
e
consing in
f
lush-to
-
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
A
dd vector variant for clause-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
Reduc
e
con
s
ing and
r
ecursion i
n
sp
l
it-del
i
m
ited-
s
t
r
ing
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Allo
w
a
s
sumptio
n
s to be lis
t
s or
vectors in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Avoid double
mappi
n
g from sy
m
bolic lit
e
r
als to vari
a
bles
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
Fi
x
NNF
g
e
n
e
r
a
tion if
e
x
p
licit :ATOMs
are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
fi
x
a
dd-form
u
l
a
to
d
ro
p
:AND and :OR-symbols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fi
x
macro expans
i
on
t
i
m
e
confusion
i
n with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
w
e Ha
u
s
remove debuggi
n
g o
u
tpu
t
an
d
ensure empty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
F
ix call to minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cnf formula addition interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
F
ix w
i
th-sat-solver macro
to correctly refe
r
en
c
e *
d
efault
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
aus
(m
i
nisat
b
ackend ) Return number
o
f queued
a
ssumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Ha
u
s
Als
o
b
u
ild minisat
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Ha
u
s
Fix a
s
sumption handl
i
ng in precosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Ha
u
s
Add
C
NF
bu
i
lder
c
onv
e
nience
f
unctions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
tz-Uwe
H
aus
a
dd-clauses co
n
venience fu
n
ction
commit
|
commitdiff
|
tree
2010-06-03
Utz-
U
we Haus
New method synchron
i
ze-backe
n
d to allow incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Ha
u
s
Add minis
a
t
backend to lisp code, m
a
ke it the defa
u
lt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe
H
aus
Minimali
s
t
i
c
minisat header and SWIG inte
g
ration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Autotools s
e
tup for
minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz
-
Uwe Ha
u
s
Fix fi
r
st line in dim
a
c
s format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Imp
o
rt minisa
t
2
-
070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Rea
l
ly
fi
x
memor
y
iss
u
e: P
r
ecosat Sol
v
er->re
s
et() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix with-index-ha
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Ha
u
s
P
r
oper
l
y d
i
s
p
o
s
e
of precos
a
t objec
t
s
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Hau
s
Add get-essential-va
r
iables imple
m
en
t
ation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree