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 cons
i
ng and recursion in spl
i
t-delimited-s
t
r
i
ng
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Allow
a
ssum
p
tions t
o
be
l
ists
or v
e
c
t
o
rs in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Avo
i
d dou
b
le mapp
i
ng from symbolic
literals
to variable
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fi
x
NNF generation if explicit :ATOMs are u
s
ed
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
fix add-f
o
r
m
ula
to drop :AND
and
:
OR
-
s
y
mbols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Fix ma
c
ro expansion ti
m
e c
o
n
f
usion in with
-
index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
we Haus
remov
e
d
ebug
g
in
g
output and ensu
r
e em
p
ty
c
lauses ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz
-
U
w
e
H
a
u
s
Fix c
a
ll to minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe Ha
u
s
Fi
x
n
on-cnf formula add
i
t
ion in
t
erf
a
c
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix with-sat-solver
macro to
corre
c
tly re
f
erence *
d
efau
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(
min
i
sat
backend
)
R
eturn nu
m
ber o
f
queue
d
assumption
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uw
e
Ha
u
s
Als
o
build minisat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-U
w
e Haus
Fix assumption hand
l
i
n
g in precosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add CNF builder convenience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clauses con
v
enience function
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe Hau
s
Ne
w
met
h
od sync
h
ronize-backend
t
o
allow incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Add minis
a
t
b
ackend to lisp co
d
e,
m
ake it
t
he
default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Mini
m
a
l
istic minisat
header and SWIG integrat
i
on
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotools setup
f
or minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e H
a
u
s
Fix first line in dimacs forma
t
e
x
port
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Import minisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Re
a
lly fix memory issue: Precosat
S
olv
e
r->reset() w
a
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe
Haus
Fix with-ind
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Properl
y
dispose of preco
s
a
t
objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add
get-essential-v
a
riables implementat
i
o
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree