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
we Ha
u
s
modernize autotoo
l
s usage
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-13
U
tz-Uwe
H
aus
add
m
issing configure
.
ac and ltmain
.
sh in
minisat subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-U
w
e Haus
update to newer li
b
t
ool, keep
i
n-
t
ree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uwe Haus
another
round o
f
def
a
ult te
s
t
predicate
mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-
U
w
e Haus
messing with def
a
ult
t
es
t
predic
a
te in macr
o
again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
tz-Uwe
H
aus
.
git
i
gnore update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uwe
H
au
s
fixes for package name confusion
in swig-lisp
i
fy
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe
H
a
u
s
R
e
duce
consing in flush-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
Add v
e
cto
r
v
a
riant for clause-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Re
d
uce
c
onsing
and
recursion
in
s
plit-de
l
i
m
ited-stri
n
g
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow assumptions to
b
e lists or v
e
c
tor
s
in
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-U
w
e
H
au
s
A
v
oid double mapping from symbolic lite
r
a
ls
to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
H
a
us
Fix NNF
g
en
e
r
a
tion
i
f explicit
:
ATOMs a
r
e u
s
ed
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
f
ix
a
dd-fo
r
mula to drop :AND and
:OR-symbo
l
s
b
e
f
ore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-
U
w
e Haus
Fi
x
macro exp
a
nsi
o
n t
i
me confusion in with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe Haus
remove debuggin
g
output and en
s
ure empty
clau
s
es a
r
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
Fix call t
o
minisat
so
l
ve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe Ha
u
s
Fix no
n
-
cnf formula add
i
tion interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uw
e
Ha
u
s
Fix with-sat-solver m
a
cro to correct
l
y reference *d
e
fault
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe H
a
us
(mi
n
isat backend
) Return number
of q
u
eued
assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uw
e
Haus
Also build mini
s
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
a
us
Fi
x
assumption h
a
ndling in
p
r
eco
s
at bac
k
end
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uw
e
Haus
Add C
N
F b
u
ilder convenien
c
e
functi
o
ns
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
U
w
e
Hau
s
ad
d
-clauses convenie
n
ce function
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe Haus
New meth
o
d syn
c
hroni
z
e-backe
n
d to all
o
w
increm
e
ntal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uw
e
Haus
Add minisat backend to lis
p
code, mak
e
it th
e
def
a
ul
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Minimalistic minisat
h
eader and SW
I
G
i
n
tegra
t
ion
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Autotools setup for m
i
n
isat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-Uwe Haus
Fix fi
r
s
t
li
n
e in dimacs forma
t
ex
p
ort
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Imp
o
rt minisat2-
0
70721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Reall
y
fix memory i
s
su
e
: Precosat
Solver->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Fix with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
Prop
e
rly dispose of precosat objects
.
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
Add
get-essential-variables implement
a
tion
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree