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 recu
r
sio
n
in spli
t
-de
l
im
i
ted-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Hau
s
Allow assumpti
o
ns to
b
e
l
ists or vec
t
o
r
s
in back
e
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Avoid doub
l
e mapping from symb
o
lic literals to variable
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
Fix
N
NF gene
r
a
tion if explici
t
:ATOMs are use
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix add-formu
l
a
t
o dr
o
p
:
A
ND
a
nd :OR-symbol
s
before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
Fix macro expansion
t
i
m
e confusion i
n
w
ith-index
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe
Haus
r
e
move d
e
bugging output
a
nd
ensure empty clauses ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-
U
we
H
a
us
Fix call to mi
n
isat
solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe H
a
u
s
Fix n
o
n-
c
nf formula
addition in
t
erface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
U
t
z
-Uwe Haus
Fix
w
ith-sat-solver macro to corre
c
tly
reference *defau
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uwe Haus
(mini
s
at b
a
ckend ) Return number of queue
d
a
s
sumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
Also build
m
i
n
i
sat
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix as
s
umption handling
in p
r
ecos
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Hau
s
Add CNF builder conveni
e
nce functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
tz-Uw
e
Haus
add-cla
u
ses convenience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Hau
s
New
m
e
t
hod
s
ynchro
n
ize
-
backend to allow i
n
cremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e
Hau
s
Add
minis
a
t backend to lisp cod
e
, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Hau
s
Minimalistic minisat heade
r
and SW
I
G integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-
Uwe Haus
Aut
o
tools set
u
p for
m
ini
s
at
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Fix fir
s
t line in dimacs format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Import minisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix memory issue: Precosat Sol
v
er->
r
es
e
t()
w
as
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
Fix with-index-h
a
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uw
e
Haus
P
roperly
dispose of precosat objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
w
e
Haus
Add
g
e
t
-essential-va
r
iables
i
mplementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree