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
messing with default test predicate in macro again
2011-05-09
Utz-Uw
e
Haus
messi
n
g
w
it
h
defaul
t
test predicat
e
in macro again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uw
e
Haus
.
g
itignore update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Haus
fixes
for p
a
ckage name confusion i
n
s
wig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
R
educe con
s
ing in
flus
h
-
t
o-bac
k
end
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe H
a
us
Add v
e
ctor variant f
o
r cla
u
se-valid
met
h
od
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce consi
n
g
and
r
ec
u
rsion
in split-delimited-strin
g
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Hau
s
A
l
low
assumptions to be lists
or
v
ectors in b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Avoid d
o
uble mapping f
r
o
m
s
y
mbolic
l
iterals to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
Fix NNF generation if explic
i
t :ATOMs
a
re used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz
-
U
we Haus
fix add-formula to drop :AND and :OR-sym
b
ols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
Fix ma
c
ro exp
a
nsion t
i
me
c
onfusion in with-index-h
a
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
aus
r
emove debugging out
p
ut and ensure
empty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Hau
s
F
ix cal
l
to minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix n
o
n-cnf formu
l
a a
d
dition interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix wi
t
h-sat-so
l
v
er macro to c
o
rrectly reference *
d
efau
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe
Haus
(
m
in
i
sat backend ) Retu
r
n number of qu
e
ued
assu
m
ptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe Ha
u
s
Also build minis
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assump
t
ion
han
d
ling in precosat
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
Haus
Ad
d
CNF buil
d
er
c
onve
n
ience fun
c
tions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe Haus
add-clauses c
o
nvenience
f
unction
commit
|
commitdiff
|
tree
2010-06-03
U
tz-Uwe Haus
Ne
w
method synchronize-
b
ackend to allow incr
e
mental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Ad
d
minisat backend
t
o
l
isp code, m
a
ke it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
Uwe Haus
Mi
n
imalistic
minisat hea
d
er and S
W
IG i
n
tegration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Hau
s
Au
t
oto
o
ls setup for m
i
n
i
sat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
F
i
x firs
t
line in di
m
acs forma
t
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Haus
Imp
o
rt min
i
sat2-070
7
21
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe
H
a
us
Rea
l
ly fix memory issue: Preco
s
at Sol
v
e
r->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
U
w
e Haus
Fix with-index-h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Properly dispose of
p
r
ecosat ob
j
ects
.
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add ge
t
-
e
s
s
e
nt
i
al
-
variables
i
m
p
lementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
