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
H
aus
moderniz
e
aut
o
tools usage
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-13
Utz-Uwe
H
aus
add missing configure
.
ac
a
nd ltmain
.
s
h in mi
n
isat subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
update
to newer
libt
o
ol, keep i
n
-tr
e
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Hau
s
anot
h
er rou
n
d o
f
de
f
ault te
s
t predicate mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
messing w
i
th default test pred
i
cate in macro a
g
ain
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
.
g
i
tignore
update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
f
i
x
e
s for package n
a
me confusion
in swig-
l
ispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
Reduc
e
cons
i
n
g
i
n
flush-to-
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe
H
aus
Ad
d
vector variant for
c
lause-va
l
i
d
method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Ha
u
s
Reduce consing and recu
r
sion in split-
d
elim
i
t
ed-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
U
w
e Haus
All
o
w assu
m
ptions to b
e
li
s
ts o
r
vectors in
b
ack
e
nd
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Avoid double mapping
f
r
om symbolic lite
r
als to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
i
x
NN
F
ge
n
e
r
ation if exp
l
icit :A
T
O
Ms are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
au
s
fix add
-
formu
l
a to drop
:
AND an
d
:
O
R-symbols bef
o
re
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-Uwe Haus
F
i
x ma
c
ro expa
n
sion
time confusio
n
i
n with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe Haus
remove
debugging output and
ensure empt
y
clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe Ha
u
s
Fix call to minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fi
x
n
o
n
-
c
n
f form
u
la addition inter
f
ac
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-U
w
e Haus
Fix
w
ith-sa
t
-solver macro t
o
co
r
r
ectly reference
*default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e Haus
(mi
n
i
s
a
t
backend ) Return nu
m
ber of
queued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e Haus
Al
s
o
b
uild m
i
nis
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
Fix assumpti
o
n handling in
p
recos
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add
CNF
builder convenie
n
ce functi
o
ns
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
ad
d
-
claus
e
s
c
onveni
e
nce function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
N
e
w
met
h
od sy
n
chronize-backend to a
l
low incre
m
enta
l
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
A
d
d minisat backend
to lisp code,
m
ake it
the de
f
ault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we
H
a
us
Minima
l
istic m
i
nisat header and SWIG
i
n
t
egration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Aut
o
tools
setup for mini
s
a
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fi
x
first
line
i
n dimacs f
o
rmat
e
xport
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Import mini
s
at2
-
07
0
721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Really fix memory iss
u
e: Precosat Solv
e
r->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
Fix w
i
th
-
index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Properly dispose
of preco
s
at objects
.
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-Uwe Ha
u
s
Add g
e
t-essent
i
a
l
-variables imp
l
ementat
i
on
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree