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
Reduc
e
consing and recursion in
s
plit-delimited-string
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
A
l
low ass
u
mpti
o
ns to
b
e
lis
t
s or
v
ectors
in
b
ackend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Avoid double mapping from
symbolic literals to variables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF g
e
ne
r
ation if
e
x
p
l
icit :ATOMs are used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Hau
s
fix
a
dd-formula to
d
r
o
p :
A
ND a
n
d :OR-symbols befor
e
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
i
x macr
o
expansion time confusion in with-in
d
e
x-ha
s
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Haus
remove
debugging output a
n
d
e
nsure em
p
ty clauses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
aus
F
i
x call to minis
a
t sol
v
e
(
)
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cnf
for
m
ula
addition interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix
with-sat-solver macro to c
o
r
rectl
y
re
f
erence *def
a
ul
t
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-
Uwe Haus
(minisat backend ) Return numb
e
r of queued
a
ssump
t
i
o
ns
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
U
w
e Haus
Also build mi
n
isat back
e
nd
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
Fix assumption h
a
n
d
ling
in precosa
t
backe
n
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Ad
d
CNF b
u
ilder
c
onv
e
nience functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uw
e
Haus
add-c
l
auses conv
e
ni
e
nce functi
o
n
commit
|
commitdiff
|
tree
2010-06-03
Utz
-
Uwe Haus
New me
t
ho
d
synch
r
on
i
ze-back
e
nd to al
l
ow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Haus
A
d
d minisat
b
ac
k
end to lisp code, make it t
h
e
d
efault
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Hau
s
M
i
nimalistic mi
n
isat hea
d
er and SWIG integrati
o
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we
H
aus
Autotool
s
se
t
u
p
for
minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Haus
Fix
f
ir
s
t line in dimacs format exp
o
rt
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
w
e Haus
Import m
i
n
i
s
at2-07
0
721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
Really fix memor
y
issue: Preco
s
a
t
Solver->
r
es
e
t
(
)
was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
F
i
x with-ind
e
x-ha
s
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Properly di
s
pose of precosat o
b
je
c
t
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add get-ess
e
ntial-
v
ariables
i
mplementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add wit
h
-sat-solver and
w
i
t
h-in
d
ex-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add dimacs reader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
P
roper garbag
e
c
oll
e
ction of
f
oreign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uw
e
Ha
u
s
S
W
I
G
wrapp
e
r layer a
n
d
.
i
file for precosat,
m
inim
a
listic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz
-
Uwe
H
a
us
Import p
r
ecosat-4
6
5r
2
-
2
c
e
82ba-10
0
514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Initial l
a
you
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree