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
add missing configure.ac and ltmain.sh in minisat subtree
2011-05-13
Utz-Uwe Haus
add missing con
f
igur
e
.
ac
a
nd ltmain
.
sh i
n
mini
s
at
subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
upd
a
te to
newer lib
t
oo
l
, keep in-tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Ha
u
s
another
r
ound
o
f
d
e
fau
l
t t
e
st predi
c
ate m
e
s
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
messing with default t
e
st predicate
in
macro
again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Hau
s
.
gitignore u
p
d
ate
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
fixes for p
a
ckage nam
e
confusion in
s
w
ig-li
s
pify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e
H
aus
R
e
duce
c
onsing in flush-to-b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-Uwe Haus
Add vecto
r
variant for clau
s
e
-
v
a
l
i
d method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Reduc
e
c
onsing and recursion in split-
d
elimi
t
ed-stri
n
g
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
Al
l
ow assu
m
ption
s
to be lists o
r
vectors i
n
backen
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Avoid
d
o
ubl
e
mapping fr
o
m sym
b
ol
i
c lite
r
als t
o
v
ariables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-U
w
e Ha
u
s
Fix NNF generation i
f
explicit :A
T
O
Ms are u
s
ed
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
u
s
fix
a
d
d-formula
t
o
drop :AND and
:
OR
-
s
y
mbols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Hau
s
Fix macro expansion
t
ime confusion in w
i
th-i
n
dex-
h
a
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Hau
s
remove
d
eb
u
gging
o
u
t
p
u
t and ensu
r
e empty clau
s
es are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
H
aus
Fix ca
l
l to minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
we Haus
Fix
n
on-cnf
formul
a
addi
t
i
o
n interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
U
tz-Uwe Haus
Fi
x
with-s
a
t-s
o
lv
e
r macr
o
to
c
o
rrectly
r
eference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uw
e
Haus
(minisat backend )
R
e
tu
r
n nu
m
ber of queued assump
t
io
n
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
A
lso build minisat b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
au
s
Fix assumption
handli
n
g
in
pre
c
osat b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Hau
s
Add CNF
b
uilder
co
n
v
e
nience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clauses convenien
c
e
f
u
n
ction
commit
|
commitdiff
|
tree
2010-06-03
Utz-U
w
e Haus
Ne
w
metho
d
synchronize-backend
to
a
l
l
ow incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Hau
s
Add mini
s
at backe
n
d
t
o
lisp cod
e
, make it t
h
e default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minimalistic m
i
nisat h
e
ader and SWIG integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Autot
o
ol
s
setup f
o
r minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uw
e
Haus
Fix fi
r
s
t
l
i
n
e
i
n dimacs f
o
rmat export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Import mini
s
at2-070
7
21
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Really fi
x
memor
y
i
s
sue: Pre
c
osat Sol
v
er-
>
res
e
t() wa
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
F
ix
with-in
d
ex-
h
ash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Properly disp
o
s
e of precosat
objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add g
e
t-e
s
sen
t
ia
l
-variables implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree