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
modernize autotools usage
2016-05-30
Utz-U
w
e Haus
m
odern
i
z
e
autoto
o
l
s
usa
g
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-13
Utz-Uwe Ha
u
s
add missi
n
g
c
onfigure
.
a
c
and ltm
a
i
n
.
sh i
n
minisat subtree
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Haus
upda
t
e to newer
l
ibtool,
keep in-tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
a
n
o
t
h
er round of
default
test pre
d
i
c
ate mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Ut
z
-Uwe
H
a
us
messi
n
g with default tes
t
predicate in macro again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
H
aus
.
gitig
n
ore updat
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uw
e
H
a
us
f
ix
e
s for pac
k
age nam
e
confusion in swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe H
a
us
R
e
duce cons
i
ng in f
l
u
s
h
-
to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Add vector variant for clause
-
valid
meth
o
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Reduce consing and recursion in
s
plit
-
delimite
d
-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
Allow assump
t
ions
to be lists or v
e
ctors in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Ha
u
s
Avoi
d
d
ouble m
a
p
p
ing from symb
o
lic
lite
r
als to variab
l
es
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
Fix NN
F
gener
a
ti
o
n if exp
l
icit
:
ATOMs are use
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Ha
u
s
fi
x
add-
f
ormula t
o
d
ro
p
:AND and
:
OR
-
symbols be
f
o
r
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix macro ex
p
ansion time confusi
o
n in with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
remove debugg
i
ng output and ensure
e
mpty clau
s
es are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix call
t
o minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix
n
on-cnf formula addition interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
U
tz-Uwe Haus
F
i
x with-sa
t
-solver macro to
c
o
rrectly reference *defa
u
lt
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
(minisat backend )
R
eturn num
b
er of q
u
eued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
Also build min
i
sa
t
b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assum
p
tion ha
n
dling
i
n
p
r
ecosat back
e
nd
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add CN
F
b
u
ilder c
o
nvenience functi
o
ns
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clauses con
v
e
nience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New method synchronize-backend to a
l
lo
w
i
n
cremen
t
a
l
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add mini
s
at backend t
o
lisp code, ma
k
e it the def
a
u
lt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minima
l
ist
i
c mi
n
isat
header and SWIG int
e
g
r
atio
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autot
o
ols setup f
o
r minis
a
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e
Haus
Fix first line in
dimacs f
o
rmat export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Import m
i
n
isat2-0
7
0721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
u
s
Really fix memory
i
ssue: P
r
ecosa
t
Solver->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e H
a
us
Fix with-index-h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Properly d
i
spose of pre
c
o
s
at objects
.
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Ad
d
get-essential-va
r
iables imple
m
entation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree