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
Reduce consing and recursion in split-delimited-string
2010-06-22
Utz-Uwe Haus
Redu
c
e
consing and r
e
cursion i
n
split-delimit
e
d-st
r
ing
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
U
w
e H
a
us
Allow assumptions to be list
s
or vectors in backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Avoid dou
b
le ma
p
ping fr
o
m symbolic litera
l
s to
v
ariables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
Fix
N
NF genera
t
i
on if explicit :ATOMs are
used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
fix a
d
d-formula to
d
rop :AND and :OR-symbols before
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
F
ix macro expans
i
on
t
ime confusion i
n
with-in
d
ex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
remove debugging outpu
t
and en
s
u
r
e e
m
pt
y
clauses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
i
x call to mi
n
isat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
Fi
x
non-cnf
form
u
la ad
d
ition interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Ha
u
s
F
ix with-sa
t
-s
o
lv
e
r macro to
c
orrectly ref
e
rence *def
a
ult
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-U
w
e
Haus
(minisat backend
)
Return number of queued
assu
m
p
t
ions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe H
a
us
Also
b
uild minisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe H
a
us
Fix assumpt
i
on handl
i
n
g
in pre
c
osat bac
k
end
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe Haus
A
d
d
CNF builder
con
v
eni
e
nce functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-U
w
e Haus
ad
d
-clauses convenie
n
ce function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New meth
o
d syn
c
hroniz
e
-backend t
o
a
llow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-
Uwe Haus
Add min
i
sa
t
backend to lisp code, make i
t
the
d
efa
u
lt
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
M
in
i
ma
l
ist
i
c
m
i
nisat
h
eader
a
n
d SWIG
i
nt
e
gra
t
ion
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Autotools s
e
tup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix first line i
n
d
imacs fo
r
m
a
t
export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e
Ha
u
s
I
mport minisat
2
-0707
2
1
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Real
l
y
fix memory
i
ssue: Prec
o
sat
S
olver->reset()
was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Hau
s
F
ix with-inde
x
-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Prop
e
rly
d
i
s
pose of prec
o
sat o
b
jec
t
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Add g
e
t-essential-variables impl
e
mentation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
A
d
d with
-
s
at-
s
olver a
n
d with-index-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
A
dd di
m
ac
s
reader/write
r
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Proper ga
r
b
age collection of foreign objects us
i
ng
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
U
w
e Haus
SWIG wrapper
la
y
er and
.
i fil
e
for
p
rec
o
sa
t
, minima
l
istic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe H
a
us
I
mpo
r
t p
r
ecosat-465r2-2ce82ba-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
I
nitial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree