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
Reduce consing
a
nd recursion
i
n split-
d
elimited-s
t
ring
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow assumpti
o
ns to be lists or v
e
ctors in backen
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Avoid double ma
p
pi
n
g from symbol
i
c literals
t
o
variables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix
NNF g
e
n
e
r
a
ti
o
n if explicit :A
T
OMs are used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix add-
f
ormula to
d
r
op :AND and :OR-symbols before
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
Fix macro expansio
n
ti
m
e con
f
usi
o
n in
with
-
i
n
dex-h
a
sh
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z-Uwe
Ha
u
s
remove de
b
ug
g
i
n
g output
a
nd e
n
sure empty
c
lauses
a
re
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
ix
c
all
to minisat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Ha
u
s
Fi
x
no
n
-
cn
f
formula additi
o
n 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 co
r
re
c
tly refer
e
nce *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(
m
ini
s
at ba
c
kend ) Return
number o
f
queued assumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
Also b
u
ild minisat bac
k
end
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumption
h
andling in p
r
ecosat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe
Hau
s
Add CNF builder convenience functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-U
w
e Haus
ad
d
-clau
s
es conv
e
nience f
u
nction
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New
method s
y
nchroniz
e
-bac
k
end to
allow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat b
a
ckend to lisp cod
e
, make it
t
he default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Min
i
malisti
c
mini
s
at header and
S
WIG integration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Auto
t
ools setup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix first line in dimacs format e
x
port
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Ha
u
s
Import min
i
sat
2
-0
7
0721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
w
e
Hau
s
Really fix memor
y
issue: P
r
ecosat Solver->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix
with-i
n
dex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Hau
s
Properly di
s
pose
o
f precosat objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Add
g
et-es
s
ential-variables
i
mp
l
ementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
A
d
d wit
h
-s
a
t-solver and with-index-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Hau
s
Add
dimacs reader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
Uwe Haus
P
r
oper
g
arbag
e
coll
e
ction of foreign obj
e
cts
u
sing
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
SWI
G
wrapp
e
r lay
e
r and
.
i file for precosat, m
i
n
i
malistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
tz-
U
we Haus
Import
prec
o
sat
-
4
65r2-2ce82ba-1
0
0514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Ut
z
-
U
we Haus
Init
i
al
l
ayo
u
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree