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
update to newer libtool, keep in-tree
2011-05-09
Utz-Uwe Haus
update to
n
e
wer libtool, keep i
n
-
tree
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
Haus
an
o
ther
round of
default
t
est predic
a
t
e
me
s
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
m
essing with
d
efa
u
lt test
p
redicate in m
a
cr
o
again
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
U
tz-U
w
e Ha
u
s
.
gitignor
e
update
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Hau
s
f
ixes for package
na
m
e co
n
f
u
sion in swi
g
-lispify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-
U
we Haus
Reduce consing in flush
-
to-b
a
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Add vector variant for
c
lause-valid method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
Re
d
uce c
o
nsing and recursion
i
n split-d
e
lim
i
ted-st
r
ing
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Allow assum
p
tions to be
l
is
t
s or vectors in b
a
ckend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
Avoid double mapping fro
m
symb
o
li
c
literals to variables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF generation if ex
p
l
i
c
i
t :
A
T
O
Ms are
used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
fix a
d
d-formu
l
a to drop :AND an
d
:OR
-
symbol
s
b
e
fore
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Hau
s
Fix
macro
expa
n
sion ti
m
e confusion in w
i
th-inde
x
-ha
s
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e
Haus
remove
debug
g
ing output and e
n
sure empt
y
clauses a
r
e
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix c
a
ll to
minisat
solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
U
we Haus
Fix non-cnf formul
a
a
ddition
i
nterface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
U
t
z-Uwe
H
aus
Fix wit
h
-sat-solv
e
r mac
r
o to correc
t
ly referen
c
e *defau
l
t
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
(minisat ba
c
k
e
nd
)
Ret
u
rn n
u
mber of
q
ueued
assump
t
ions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also build
mi
n
i
s
at ba
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
Fi
x
assumption
h
a
n
dling in precosat
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe Haus
Ad
d
CNF buil
d
er convenience
functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Ha
u
s
add-clau
s
es
c
o
nvenience function
commit
|
commitdiff
|
tree
2010-06-03
Ut
z
-Uwe Haus
New metho
d
s
y
nchronize-backend to allow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Add mi
n
i
s
at back
e
nd to lisp code, make it the
d
efau
l
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe
H
a
us
Mi
n
im
a
li
s
t
i
c m
i
nisat header and S
W
IG in
t
egration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Hau
s
Au
t
oto
o
ls se
t
up for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Fix first li
n
e in d
i
macs
format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Ha
u
s
Import mini
s
at2-0707
2
1
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
a
us
Rea
l
ly fix memory issue: P
r
ecosat Solver->res
e
t()
w
a
s
.
.
.
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
Ut
z
-Uwe
H
au
s
Prope
r
ly dispose of precosat
object
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add get-e
s
senti
a
l-vari
a
b
les implementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
a
us
Add wi
t
h
-sat-solve
r
and wi
t
h-index-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
H
a
u
s
Add dima
c
s reader/w
r
iter
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Proper garbage collection o
f
foreign ob
j
ects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
SWIG wra
p
per layer and
.
i file
for
p
recosat, mi
n
imalisti
c
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
t
z-Uwe Haus
Im
p
ort
p
recosat-465r2-2ce
8
2ba-1
0
05
1
4
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
I
n
it
i
al lay
o
ut
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree