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
U
tz-U
w
e Haus
m
ode
r
n
ize autotools us
a
ge
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-13
U
tz-Uwe
H
aus
a
dd missi
n
g configure
.
ac and
ltmain
.
sh
i
n mi
n
isat subtre
e
commit
|
commitdiff
|
tree
2011-05-09
Ut
z
-
Uwe
Haus
update to new
e
r libtool,
keep in-tre
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
another round of
d
efault test predi
c
ate
m
ess
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
m
essin
g
with d
e
fault
t
e
st predicate in
m
a
c
ro a
g
ain
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Ut
z
-
Uwe Haus
.
gitignore upda
t
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Hau
s
fixes f
o
r
package n
a
me co
n
fusi
o
n
i
n swig-lispi
f
y
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e
Haus
Reduce con
s
ing in flush-to
-
ba
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe
H
a
us
Add vect
o
r variant for clause-v
a
lid method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-
U
w
e
Ha
u
s
R
educe
consing and recursion in spli
t
-delimited-s
t
ring
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe
H
aus
A
llow a
s
sumptions
to be list
s
or vector
s
in backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-Uwe Haus
Avo
i
d double ma
p
p
i
ng from sym
b
olic lite
r
als to var
i
ab
l
es
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
F
ix N
N
F
generatio
n
if
ex
p
l
i
c
it :ATOMs
are used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
fix
add-for
m
ul
a
to drop :AND a
n
d :OR-
s
ymb
o
ls before
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
Fix macro expan
s
ion time co
n
f
u
sion in with-
i
ndex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
aus
remove de
b
u
gging outpu
t
an
d
ensure
empty c
l
aus
e
s
a
re
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe
H
aus
Fix ca
l
l to mi
n
isat solve
(
)
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
F
i
x non-cnf formu
l
a addition interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix with
-
sat-solver mac
r
o
t
o
c
orre
c
tly ref
e
rence
*
defa
u
lt
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
(
mi
n
i
s
at b
a
c
kend
) R
e
turn n
u
m
ber of que
u
ed assu
m
ptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
Also build minisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
Fix
a
s
s
ump
t
ion handling in precosa
t
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe
Haus
Add CNF buil
d
e
r co
n
v
e
nience functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Hau
s
add-clauses co
n
veni
e
nce func
t
ion
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New
m
etho
d
synchr
o
n
ize-
b
ackend t
o
allow increment
a
l
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add m
i
nisat backend to lisp code,
make
it the default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
a
u
s
M
inimali
s
t
i
c minisat header and SWIG inte
g
ra
t
i
o
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
A
utotools setup for
mi
n
isat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
F
ix first
l
i
ne
in dimacs format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-U
w
e Haus
Im
p
ort minisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
aus
Really fix memory iss
u
e
:
Precos
a
t
Solver->r
e
set() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe H
a
u
s
Fix w
i
th-index-has
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Properly dispose of precosat
objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
A
d
d
g
et-essential
-
variables im
p
lemen
t
ation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add with-sa
t
-solver and with-index-
h
ash ma
c
ros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
u
s
Add dimacs reader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe
H
aus
Proper garba
g
e col
l
ection of foreign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
SWIG w
r
a
pper l
a
yer an
d
.
i f
i
l
e
f
or p
r
ecosat, min
i
m
alistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Hau
s
Import precosat-465r2-2ce
8
2
b
a
-
1005
1
4
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Hau
s
I
n
i
tial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree