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
Allow assumptions to be lists or vectors in backend
2010-06-22
Utz-Uwe Hau
s
A
llow assumptions to be
lis
t
s
or vectors i
n
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
Avoid double mappi
n
g from
s
ymb
o
lic
l
iterals to
va
r
iables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
F
ix
N
NF generation if explicit :ATOMs a
r
e us
e
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix ad
d
-formula to
drop :
A
ND and :
O
R-sym
b
ols be
f
o
r
e
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
Fix macro expan
s
ion ti
m
e
c
onfusion in
with-index-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
aus
remove debugging ou
t
put an
d
ensure empty
c
lauses ar
e
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix
c
all to mi
n
i
s
at
solve(
)
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
H
aus
Fix non-cnf form
u
la additi
o
n
i
nterfa
c
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz
-
Uwe
H
aus
Fi
x
wi
t
h-sat-solver mac
r
o
to correctly
r
e
f
e
rence *def
a
u
lt
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e Haus
(minisat backe
n
d ) R
e
turn number of queued assumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Als
o
build mi
n
isat
b
ackend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe H
a
us
Fix ass
u
mpti
o
n
handling
i
n
precosat backe
n
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uw
e
Haus
Add CNF builder conv
e
nience functio
n
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clau
s
es convenience functio
n
commit
|
commitdiff
|
tree
2010-06-03
U
t
z
-
U
we Haus
N
ew method synchronize-ba
c
kend to allow
incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat backend to l
i
sp
c
ode,
m
a
ke it t
h
e default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uw
e
Haus
Minim
a
li
s
tic minisat head
e
r and SWI
G
i
nt
e
g
r
a
tion
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Au
t
ot
o
ols s
e
t
up fo
r
minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
F
i
x first line in dimacs format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Haus
I
mp
o
rt
m
inisat2-070
7
21
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix memory is
s
ue:
P
rec
o
sat Solver
-
>reset(
)
was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix with-
i
ndex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uw
e
Haus
Properly dispose
of precosat ob
j
ec
t
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
A
d
d
g
e
t-essential-v
a
riables imp
l
em
e
n
t
a
tion
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add with-sat-so
l
ver and with-index
-
h
a
sh macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
Add dimacs
reader
/
write
r
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Pr
o
p
e
r
g
arbag
e
collec
t
i
o
n
of
f
o
r
eign
objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
SWIG
wrap
p
er
l
ayer and
.
i file for precosat,
minimalistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uw
e
Haus
Impo
r
t
precosa
t
-4
6
5
r
2
-2ce82ba
-
100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
tz-Uwe H
a
us
Initial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree