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
another round of default test predicate mess
2011-05-09
U
t
z-U
w
e Haus
ano
t
h
er round of def
a
ult test predicate mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
tz-Uwe
Haus
messing
w
ith de
f
ault test p
r
edicate in
ma
c
ro again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
H
aus
.
gitign
o
re upd
a
te
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe
H
aus
fi
x
es for
p
a
ckage name confusion in swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Re
d
u
c
e
c
onsing
i
n flush-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe
H
aus
Add ve
c
to
r
varia
n
t
f
or clause-valid m
e
thod
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Reduce
consing and recursion
in
split-delimited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow assumptions to be lis
t
s
or vectors i
n
backen
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
U
w
e
Haus
Avoid double m
a
p
ping f
r
om symb
o
lic literals to variable
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
au
s
F
i
x NNF
g
eneration if expl
i
cit :
A
TOMs
are
used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Hau
s
fi
x
a
dd-for
m
u
la
t
o drop :AND and :
O
R-symb
o
ls before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe
H
a
us
Fix mac
r
o
e
xpansion time conf
u
sion in w
i
th-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z
-Uwe Haus
remove debugging output an
d
ensure
empty
c
lauses
ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
ix call to
mini
s
at solve
(
)
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
H
a
u
s
Fix
non-cnf fo
r
mula a
d
d
ition interf
a
ce
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fi
x
with-sat-s
o
lver
m
acro
to cor
r
ectl
y
refe
r
ence
*
default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Hau
s
(mi
n
i
s
at b
a
ckend ) Return number of queu
e
d assumpti
o
ns
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also build
m
in
i
sat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uwe Haus
Fix assu
m
pt
i
on handl
i
ng in pr
e
cosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe Haus
Add CNF b
u
i
ld
e
r
c
o
n
ven
i
enc
e
functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-
U
we Hau
s
add
-
cl
a
us
e
s conv
e
n
ience
functi
o
n
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe Hau
s
New
method syn
c
hroni
z
e-back
e
nd to allow
i
n
c
remental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add
m
inisat back
e
nd to lisp code, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe H
a
us
Minim
a
listic minis
a
t
h
eader and SWIG integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
a
us
Autotools setup
f
or minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe H
a
us
Fix
f
irst li
n
e in dimacs fo
r
m
a
t ex
p
ort
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Imp
o
rt minisa
t
2-0
7
0
7
21
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
Really fi
x
memo
r
y issue: Precosat S
o
lver->reset
(
) was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe
H
aus
Fix wit
h
-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-
U
we
H
aus
P
r
operly dispose of precosat objects
.
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add
get-essential-variables implement
a
tio
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree