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 mi
s
s
i
ng c
o
n
f
i
gure
.
ac
a
nd ltm
a
in
.
sh i
n
m
in
i
s
at subtre
e
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uwe Haus
update to newer libtool, k
e
ep in-tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
another round of default te
s
t pred
i
cat
e
mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-
U
we Haus
m
e
ssing with d
e
fault test
p
redicate in macro
again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
.
gitignore upd
a
t
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
f
i
x
e
s fo
r
p
a
ckage name co
n
fusion
in swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce
c
onsi
n
g in flush-to-b
a
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Add vector variant for
c
la
u
se-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Redu
c
e consing and rec
u
rsion in split-delimi
t
ed-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
Allow a
s
sump
t
ions
to
b
e
lists or vector
s
in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uw
e
Haus
Avo
i
d double mapping
from sy
m
b
olic lit
e
rals to
variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Fix
NNF generation
i
f explicit :ATOMs are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
fix add-formula to
d
rop :AND and :
O
R
-sym
b
ols be
f
ore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-U
w
e Haus
Fix macro expa
n
sion time
c
o
n
fusion
in wi
t
h-index-ha
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
we Haus
remove debu
g
ging out
p
ut and ensure empty c
l
auses ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
ix call to min
i
sat solv
e
()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Hau
s
Fix non
-
cnf
f
ormula addition in
t
er
f
ace
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-
U
w
e H
a
us
Fix wit
h
-sat-solver mac
r
o to correctl
y
r
eference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
aus
(
m
inisat backe
n
d
)
Return number
of
queued assumptio
n
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe H
a
us
Also build minisa
t
ba
c
k
e
nd
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
Fix as
s
umption ha
n
dli
n
g in pr
e
cos
a
t
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uw
e
H
a
us
Add CNF bui
l
der convenience funct
i
ons
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-cl
a
uses conven
i
ence function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe
H
aus
New method synchronize-backend t
o
allow incre
m
ental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
H
a
us
Add minisat
backend to
l
i
s
p code, m
a
ke it
t
he de
f
a
u
lt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
M
ini
m
a
l
is
t
ic min
i
sat heade
r
and SWIG
integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
au
s
A
utoto
o
l
s
setup
f
or m
i
nisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e H
a
us
Fix fi
r
st line in dimacs format
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Impor
t
minisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Reall
y
fix memory
i
ssue:
P
r
ecosat Solver->re
s
et() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fi
x
with-index-h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
P
roperly
d
is
p
ose o
f
precosat obje
c
ts
.
commit
|
commitdiff
|
tree
2010-06-01
U
tz-U
w
e Ha
u
s
A
d
d get-essen
t
ial-va
r
iables implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree