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
Utz
-
Uwe Haus
a
nother ro
u
nd of defau
l
t test p
r
edic
a
te m
e
ss
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
messing with default tes
t
p
re
d
i
cate
in m
a
cro again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-
U
we Haus
.
g
i
tignore update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
f
ixes for package name confusio
n
i
n s
w
ig-l
i
spify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce consing
i
n fl
u
sh-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Add ve
c
tor va
r
iant for claus
e
-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e
Haus
Reduce c
o
nsing and recu
r
sion in
s
plit-delimited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Allow assumpti
o
ns to be l
i
s
ts or v
e
ctors in backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
A
v
oid
double mapping from symbolic literals to vari
a
bles
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe H
a
us
Fix NNF
g
enerat
i
on if explicit :ATOMs a
r
e used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe
H
aus
fix add-for
m
ula to drop :AND and :OR-symbols
b
efore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
i
x macro expansion time
c
onfus
i
on in wit
h
-ind
e
x-has
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
r
emov
e
debugging output
and ensur
e
empty cl
a
uses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz
-
U
we Hau
s
F
i
x cal
l
t
o mini
s
at solv
e
()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
F
i
x non-c
n
f formula addition interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-
U
we Haus
Fix
w
ith
-
sat-solver m
a
cro to correctl
y
refe
r
en
c
e *de
f
au
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Hau
s
(minisat backend ) Retur
n
number of queued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uwe Haus
Als
o
build minis
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Hau
s
Fix assumption handlin
g
in precosat backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z
-Uwe
Hau
s
A
d
d
C
NF
b
uilder
co
n
venienc
e
functi
o
n
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
ad
d
-
c
lauses
convenience function
commit
|
commitdiff
|
tree
2010-06-03
Ut
z
-Uwe H
a
us
N
e
w
method sync
h
ronize-backend to all
o
w incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Add minisat
b
acken
d
to
l
isp code, make it the defau
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-U
w
e
H
aus
Minim
a
listic
m
inisat head
e
r
a
n
d SWIG integrat
i
on
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
w
e Haus
Autotoo
l
s
s
e
tup for mi
n
isat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Haus
Fix first line in dim
a
cs format exp
o
rt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe
H
aus
Import m
i
nisat2
-
0707
2
1
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Reall
y
fix memor
y
iss
u
e:
P
recosat
So
l
ver->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Fix with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Properly dispose of precos
a
t object
s
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
A
dd
g
et
-
e
ssenti
a
l-var
i
ables imple
m
entation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree