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-Uw
e
Haus
ad
d
missing
c
on
f
igure
.
ac and ltmain
.
sh in minisat subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
update to newer libtool, keep i
n
-tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uwe Haus
another
r
ound o
f
default
test
predicate mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Ut
z
-U
w
e Haus
messi
n
g wi
t
h
de
f
a
u
lt test
predicate i
n
macro again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
U
we Haus
.
gitignore update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Hau
s
fixes
f
or packag
e
n
a
me co
n
fusion
in swig-lis
p
ify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
R
e
duce consing i
n
flush-
t
o-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we
Haus
Add ve
c
tor varia
n
t fo
r
cl
a
use-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce
consing and re
c
urs
i
on in
split-delimited
-
string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
Allow ass
u
mptions
to be li
s
t
s
or
vectors
in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe H
a
us
Avoid
d
ouble mapping from symbolic literals to
va
r
iable
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Hau
s
Fix
N
NF gen
e
ration if explicit
:ATOMs are
used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
w
e H
a
us
f
ix add-formula
to
drop
:
AND and :OR-symbols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix macro expan
s
ion
t
i
m
e
confusio
n
in with-
i
nd
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
remove debugging output
a
n
d
e
n
sure empty
c
l
a
uses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-U
w
e Haus
Fix ca
l
l to minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
aus
Fix non-cnf formula addition interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe
H
au
s
Fix with-sat-s
o
lver
macro t
o
correct
l
y r
e
fe
r
ence *d
e
fa
u
lt
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
(m
i
nisat backend ) Return number
o
f queued
as
s
u
mpti
o
n
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
A
l
s
o
bu
i
ld
m
inisat backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumpti
o
n handling i
n
precos
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe Haus
Add
CNF
b
u
ilder conven
i
e
n
c
e
functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clauses convenience f
u
nction
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New method synchronize-backend to allow incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Hau
s
Add
m
inisat backend to lisp
c
ode, make it t
h
e default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe
Haus
Min
i
malistic m
i
n
i
sat
header and SWIG int
e
g
ration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Au
t
o
t
o
o
l
s setup for
m
inisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
au
s
F
ix
f
irst
line
in dimacs fo
r
mat export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Import
m
inisat2
-
0
70721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-
U
w
e
Hau
s
Re
a
lly fix
memory issue: Precosat So
l
ver->
r
eset
(
) was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
U
we
H
a
u
s
Fix
w
ith-ind
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Hau
s
P
roperl
y
dispose of
p
recosat objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
Add
g
e
t
-e
s
sential-variab
l
es
i
mplementatio
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree