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
another round of default test predicate mess
2011-05-09
Utz-Uw
e
Haus
another round of defa
u
lt t
e
st predicate mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
me
s
sing
w
ith default t
e
st predicate in macro aga
i
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
.
gitigno
r
e update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-U
w
e Haus
f
i
xes for package nam
e
confusion
in swi
g
-lispif
y
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Reduce consing in flush-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Add
vector va
r
i
a
nt f
o
r
c
lause-valid met
h
od
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
Reduce cons
i
n
g and recursi
o
n i
n
split-
d
e
limited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e H
a
us
Al
l
ow assumptions to be lists or vectors in b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uw
e
Haus
Av
o
i
d double m
a
pping from symbolic literals to variab
l
e
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix
N
N
F gene
r
ation if explicit :AT
O
Ms
are
used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix
ad
d
-formula to drop
:
A
N
D and :OR
-
symbols b
e
fore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Fix
macro expansi
o
n
tim
e
confusio
n
in with-inde
x
-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe
H
aus
r
e
mo
v
e debuggi
n
g
out
p
ut a
n
d en
s
ure
e
mpty c
l
auses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
aus
Fi
x
ca
l
l to
m
i
nisa
t
solv
e
()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cnf for
m
u
la addition i
n
terfa
c
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Ut
z
-Uwe Haus
Fix wi
t
h-sat-solver ma
c
ro to corre
c
tly reference *defa
u
lt
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(minisat back
e
nd ) Return number o
f
q
ueued
assumption
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we H
a
us
A
lso build
m
inisat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e Haus
Fix
assu
m
ptio
n
h
a
ndling i
n
p
r
ecosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-U
w
e
H
aus
Add CNF bui
l
d
e
r convenience fu
n
c
t
ions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Hau
s
add-claus
e
s
convenience
f
unction
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New method
s
yn
c
hronize-
b
acken
d
to allow i
n
cremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Ad
d
minisat backend t
o
lisp code, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe
Haus
Mi
n
imal
i
stic min
i
sat hea
d
er and
S
WIG integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uw
e
Haus
Au
t
o
t
oo
l
s setup for mi
n
isat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix f
i
rst lin
e
in dimacs form
a
t
e
x
p
ort
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Import mini
s
at2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe
Haus
Rea
l
l
y
fi
x
memory issue: Pre
c
o
s
at Solver->rese
t
() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Ha
u
s
Fix with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Pr
o
perly dispose of pr
e
cosat obje
c
ts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add g
e
t-ess
e
ntial-variables
i
mplem
e
nt
a
tion
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree