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
Ut
z
-Uwe
H
a
us
ano
t
her r
o
und
o
f default test pr
e
dic
a
t
e me
s
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uw
e
H
a
u
s
messing with d
e
fault test
predicat
e
in macro aga
i
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
Haus
.
gitignore update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Ut
z
-Uwe Haus
f
ixes for package na
m
e confusion in
swig-l
i
spif
y
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Reduce
c
onsing
in
f
l
u
s
h
-t
o
-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Add
v
ec
t
or variant for clause-valid
meth
o
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Hau
s
Red
u
ce consi
n
g an
d
recursi
o
n in split
-
delimited
-
s
t
r
ing
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz
-
Uwe
H
a
us
Allow assumption
s
to be lists or vectors in back
e
nd
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
Avoid double
mapp
i
ng
from
s
ymbolic literals
to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix N
N
F
g
e
n
era
t
ion
if explici
t
:ATOMs ar
e
use
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
fix add-formula to
dr
o
p
:AND
and :OR-sym
b
ols
b
e
fore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe
Ha
u
s
Fi
x
macro
e
xpa
n
sion time confu
s
io
n
in with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
r
e
move debugg
i
ng output and ensure empty
c
l
auses a
r
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e Haus
F
i
x cal
l
to mi
n
isat sol
v
e()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
we Haus
Fix
n
on-
c
n
f formula addition interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz
-
U
w
e H
a
us
Fix with-sat-solver macro to cor
r
e
ctly reference *def
a
ul
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-U
w
e Haus
(min
i
sat backe
n
d ) R
e
turn number of queued ass
u
m
ptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
a
us
A
l
s
o build minis
a
t
backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assu
m
ption
h
a
n
dling in pre
c
osat b
a
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add CNF bu
i
lder convenience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-
c
l
a
u
s
es
convenience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uw
e
Haus
New
method synchronize-backen
d
to allo
w
incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uw
e
Haus
Add minisat backe
n
d to lisp c
o
de, make it the
de
f
ault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Ha
u
s
Minimalist
i
c m
i
nis
a
t hea
d
er and SWIG inte
g
r
ation
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Au
t
otools setup for
mi
n
is
a
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-U
w
e Ha
u
s
F
ix f
i
rst line in dimacs format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Import m
i
nisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix memory issue
:
Precosat
S
olver-
>
res
e
t() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-U
w
e Haus
Fi
x
with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we H
a
us
P
r
operly
disp
o
se
of precosat o
b
jects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add get-
e
ss
e
n
t
ial-variables implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree