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 and recursion in spli
t
-delimi
t
ed-strin
g
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
A
l
low assumptions to
b
e lis
t
s
or vect
o
rs in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
Avoi
d
d
o
uble
m
apping from
symboli
c
li
t
e
rals to v
a
r
i
ables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Fix
N
N
F gener
a
t
i
on if exp
l
ic
i
t
:ATOMs a
r
e used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
w
e Haus
fix
add-
f
ormula to drop :AND and :OR
-
sym
b
ols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
F
i
x
m
acro ex
p
ansion time confusio
n
i
n with-index-h
a
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
r
e
m
o
ve debugging o
u
tp
u
t
a
nd ensure em
p
ty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fi
x
call to m
i
nisat
solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e
Haus
F
i
x non-cnf formula addit
i
on interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-U
w
e H
a
us
Fix with-sat-solver macr
o
t
o
c
o
r
r
e
c
tly re
f
erence *d
e
f
a
ul
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Ha
u
s
(
m
i
nis
a
t backend )
R
eturn number of queued assumption
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
A
l
s
o build mi
n
is
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
F
ix
a
ss
u
mption ha
n
d
l
ing in pre
c
o
s
at
back
e
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe
Haus
Add CNF
b
uilder c
o
nveni
e
nce
f
unct
i
ons
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-
U
we
Haus
ad
d
-clau
s
e
s
convenien
c
e fun
c
tion
commit
|
commitdiff
|
tree
2010-06-03
Utz-
U
we H
a
u
s
New m
e
thod synchron
i
ze-backend to allow
inc
r
emental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add m
i
nisat backe
n
d to l
i
sp cod
e
, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
M
inimalisti
c
mi
n
isat head
e
r and SWIG i
n
tegration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Hau
s
Autotools setup f
o
r mini
s
at
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-Uwe Haus
Fix fi
r
st li
n
e in dimacs for
m
at export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Import mi
n
isat
2
-07072
1
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 Solver->reset
(
) was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix wit
h
-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-U
w
e Haus
Prope
r
ly di
s
po
s
e
of precosat ob
j
ect
s
.
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Add get
-
essential-var
i
ables
i
m
pleme
n
tat
i
on
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree