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
-
Uwe Haus
fixe
s
for
p
ackag
e
n
a
me confusion
i
n swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
R
e
duce
c
onsin
g
i
n f
l
ush-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Add vector va
r
iant f
o
r clause-
v
alid metho
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uw
e
Haus
Reduce consing and recur
s
ion in split-deli
m
i
t
e
d
-
s
t
ring
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow assumption
s
to
b
e
l
ists or ve
c
tors in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Av
o
id double mapping fr
o
m symbolic literals
t
o
v
a
r
i
ab
l
es
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
F
i
x NNF gene
r
ation if e
x
plicit
:ATOMs
are
u
se
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fi
x
add-for
m
ula to drop :AND and
:
OR-
s
ymbols
b
efo
r
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
H
a
us
F
ix macro e
x
pa
n
sion
t
ime c
o
nfusion in with
-
index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
r
e
move debugg
i
ng
o
utput
and ensure
e
m
pty clauses
are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe Haus
Fix
c
all to
m
i
n
isat solve
(
)
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe
H
aus
Fix non-c
n
f for
m
ula addition
i
nter
f
ace
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix with-
s
a
t
-solver mac
r
o
t
o corr
e
ctly reference *defaul
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz
-
U
we
H
aus
(
m
i
nisat ba
c
k
e
n
d
) Return n
u
mber
o
f
q
ueued assumpti
o
ns
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uw
e
Haus
Also build mini
s
at
b
a
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumption handling i
n
pr
e
cos
a
t backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe Haus
Add
C
NF builder convenien
c
e f
u
nctio
n
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z
-
U
we Hau
s
add
-
clauses
convenience fu
n
ctio
n
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe Haus
New method
synch
r
oni
z
e-ba
c
ke
n
d to
a
llow increm
e
ntal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Haus
Add minis
a
t backend to
li
s
p code,
m
ake it the
d
efault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Minima
l
i
s
tic
minisat header and
S
WIG integrat
i
on
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-U
w
e Haus
Autot
o
ols setup f
o
r minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Fix first line in dimacs
f
ormat expor
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Im
p
ort
mi
n
i
s
at
2
-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
Ha
u
s
Real
l
y fix memory
issue:
P
recosat Solver
-
>
r
es
e
t(
)
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix
w
ith
-
index-has
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Pr
o
perly di
s
pose of prec
o
sat objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
a
us
A
dd get-essential-varia
b
les implementati
o
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree