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
.gitignore update
2011-05-09
U
tz-Uwe Hau
s
.
gitignore upd
a
te
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Haus
fixe
s
for p
a
ckage name confusion
in
s
wi
g
-l
i
spify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Ha
u
s
Red
u
ce cons
i
ng in flush-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Add vector
v
aria
n
t for clause-valid
method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe
H
aus
Reduce co
n
sing a
n
d re
c
ursion in split-delimited-s
t
ring
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-Uwe Haus
Allo
w
a
ssumpt
i
ons to be lists or vectors in
b
acken
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Avoid double mappin
g
from
symbol
i
c literals to va
r
ia
b
les
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz
-
U
w
e Haus
Fix NN
F
generatio
n
if explicit :ATOMs are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
fix
a
dd
-
formula to
d
r
o
p :AND
and
:
OR-sym
b
o
ls
b
efore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Fix
mac
r
o e
x
pansion time confu
s
ion in w
i
th
-
index-
h
ash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
remo
v
e debugging outpu
t
and ens
u
re
empty claus
e
s are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
au
s
Fix c
a
l
l
to mi
n
isat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix
n
on-cnf
f
ormula addition
int
e
rface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
U
t
z-Uwe Hau
s
Fix with-sa
t
-solver
macro to c
o
rrectly
re
f
erence *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Ha
u
s
(minisat back
e
nd ) Return number o
f
queu
e
d assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
Al
s
o build
m
inisat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e
H
aus
Fix assumpti
o
n ha
n
d
l
i
n
g
in precosat bac
k
end
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-
Uwe Haus
Add
C
N
F
builder
c
onveni
e
nc
e
f
u
nctio
n
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
Haus
add-c
l
au
s
es
conven
i
ence function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New meth
o
d synchronize-backend to all
o
w
i
ncremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
H
a
us
Add minisat
b
ackend to
l
isp code, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Minimalis
t
ic minisat h
e
ader and S
W
IG int
e
gration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we H
a
us
Autoto
o
ls setup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Fix first lin
e
in dim
a
c
s format e
x
port
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz
-
Uwe Haus
Import
mini
s
at2-0
7
0
721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
aus
Reall
y
fix memory
issue: Pre
c
o
s
at Solver->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
Fix with-index
-
h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Properly dispose
o
f
precosat
o
b
j
e
cts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
A
d
d g
e
t
-
essential-variable
s
imp
l
em
e
ntat
i
on
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
