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
fixes for package name confusion in swig-lispify
2011-05-09
Utz-Uw
e
Haus
fixes for package name
confusion in swig-l
i
s
p
ify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe
H
aus
Reduc
e
con
s
ing i
n
fl
u
sh-to-ba
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
A
d
d
vect
o
r var
i
an
t
for clause-valid
method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
Reduce cons
i
ng and recur
s
ion
in split-deli
m
i
t
ed-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe H
a
us
A
l
low ass
u
mp
t
i
ons to b
e
lists or
ve
c
to
r
s in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Ha
u
s
Avoid double
m
appin
g
from sy
m
bolic l
i
t
e
rals to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF ge
n
erat
i
on if e
x
p
licit :ATOMs a
r
e used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
f
ix ad
d
-formula to drop :
A
ND an
d
:OR-symbo
l
s before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
Fix macro expansion time confusion in with-index
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
we
H
aus
remove debugging output a
n
d ensure
e
mp
t
y clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix c
a
ll to min
i
sat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
Fix non-c
n
f formula
a
d
di
t
ion i
n
t
erface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe H
a
u
s
F
ix with-
s
at-
s
olv
e
r macro
to correctly
r
eference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-
Uwe Haus
(minisat backe
n
d ) Retu
r
n number of queued a
s
sumptio
n
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also build m
i
nisat ba
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
Fix assump
t
ion handling i
n
prec
o
sat b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Ha
u
s
Add CNF
builder
c
onvenience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe H
a
us
add-c
l
auses convenience funct
i
on
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New
m
ethod synch
r
onize
-
backend t
o
allow
i
n
cremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat backend to lisp code, make it the
d
efau
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz
-
Uwe
Haus
Minimalistic min
i
sat header and SWIG integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotools setup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe
Ha
u
s
Fi
x
fi
r
s
t
line
i
n dima
c
s form
a
t
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
m
port minisat2
-
070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-
U
we Haus
Really
fix memo
r
y
issue: P
r
ecosat So
l
ve
r
->
r
ese
t
() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fi
x
with-inde
x
-ha
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Properly d
i
spose
o
f
p
reco
s
at obj
e
cts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
A
d
d
get-essential-
v
ariables i
m
plementat
i
on
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree