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
.gitignore update
2011-05-09
Utz-Uwe H
a
us
.
gitignore upda
t
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uw
e
Haus
fixe
s
f
or package n
a
me
c
o
n
fusion in swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
U
we Haus
R
educe cons
i
n
g
in
f
l
ush-to-ba
c
k
e
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe H
a
us
Add vector variant for cl
a
u
s
e-valid met
h
od
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
Reduce consing and
r
ecursion in split-
d
elimited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-
U
we Haus
Allow assumptions to b
e
lists or
v
e
c
tor
s
i
n
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Av
o
i
d
d
o
u
ble
ma
p
ping from s
y
mbo
l
ic
literals to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
i
x
N
NF
g
enerati
o
n if
e
xplicit :ATOM
s
are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
f
i
x
a
dd-
f
o
rmula
t
o dro
p
:AND
and :OR-symbols be
f
or
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe
H
au
s
Fix macro expansi
o
n time confusion in with-index
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e Haus
remove debugging ou
t
put and ensure
empty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uw
e
Haus
Fix call to minisat so
l
ve(
)
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cn
f
formu
l
a addition interfa
c
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
F
ix with-sat-sol
v
er mac
r
o to
co
r
rectly r
e
fe
r
e
n
ce *defau
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(minisat backend
) Return nu
m
be
r
of q
u
e
ue
d
a
s
su
m
pti
o
ns
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uwe
H
aus
Also build mi
n
isa
t
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Ha
u
s
Fix assumption handling
in precosat ba
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe H
a
us
Add CNF builder conv
e
nience f
u
n
ctions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
ad
d
-clauses convenience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Ha
u
s
New me
t
hod synchron
i
z
e-
b
ackend
to allow incrementa
l
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Haus
Add mi
n
isat backend t
o
lisp code, make it t
h
e de
f
ault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minimalist
i
c mini
s
at hea
d
e
r
a
n
d
SWI
G
i
nteg
r
ati
o
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
au
s
Autotools setup fo
r
mi
n
i
sat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Hau
s
Fix f
i
rst line
in dimacs
format exp
o
r
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Import minisat2-07
0
721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Rea
l
ly fix memory iss
u
e
: P
r
ecos
a
t Sol
v
e
r->re
s
et
(
) was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix wit
h
-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Properly dispose of
p
r
ecosat
o
bjects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Hau
s
Add get-essential-var
i
ab
l
es i
m
pl
e
m
e
ntation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree