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
U
t
z-Uwe Haus
messing with d
e
faul
t
tes
t
pred
i
cate
in macro aga
i
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Ha
u
s
.
gitignore
u
p
d
a
te
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uw
e
H
a
u
s
fi
x
es
f
or pack
a
ge name confusi
o
n in
swig-lisp
i
fy
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Reduce consing in flush-to-
b
ac
k
e
n
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Add ve
c
t
or varian
t
fo
r
clause-valid method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Ha
u
s
Re
d
uce
c
o
nsing and r
e
cursi
o
n in
s
plit-deli
m
ited-str
i
ng
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Al
l
o
w
as
s
umption
s
to be lists or vecto
r
s in backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
w
e
Haus
Avoid d
o
ub
l
e
m
a
pping from symbol
i
c
l
i
terals
t
o
v
ariables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
u
s
Fi
x
NN
F
generation if explicit
:ATOMs are used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix
a
d
d
-
for
m
ul
a
to
drop :AN
D
and :
O
R-symbols
be
f
ore
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
F
ix macr
o
expansion time c
o
nfusion in with-index
-
hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
re
m
ove deb
u
gg
i
ng
ou
t
put and
e
nsure empty clauses
a
re
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
w
e
Ha
u
s
Fix call t
o
minisa
t
so
l
ve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z-U
w
e
Haus
Fix non-c
n
f
formula addition interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe
Haus
Fix with-sat-solv
e
r macro
t
o correctl
y
reference *d
e
fault
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(mini
s
at backend ) Return number of qu
e
ued ass
u
mptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uw
e
Haus
Al
s
o build minisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
Fix
a
ssumpti
o
n handling in pr
e
cosat
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
H
a
us
Add
C
NF
b
uilder conven
i
e
n
c
e func
t
i
o
ns
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe
H
aus
ad
d
-clauses conveni
e
n
ce functio
n
commit
|
commitdiff
|
tree
2010-06-03
U
tz-Uwe Haus
New method syn
c
hronize
-
ba
c
ke
n
d to allow increm
e
ntal
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-
U
we
Haus
Add minisat backend
t
o lisp co
d
e,
make it the default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Minimalist
i
c minis
a
t header
an
d
SWI
G
integ
r
ation
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Haus
Autotools set
u
p
f
or minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Haus
Fix fir
s
t
l
i
ne in
di
m
a
cs format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
w
e H
a
us
Im
p
ort mi
n
isat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Really
f
i
x
memory i
s
s
u
e: P
r
ecosat Solver->
r
eset
(
)
w
a
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix with
-
i
n
d
ex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Properly dispose of precosa
t
ob
j
ects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-
U
we Haus
Add get-essential-
v
ari
a
bles
i
m
p
l
ementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add
w
ith-
s
at-sol
v
er and with-index
-
hash m
a
cros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
Uwe Haus
Ad
d
dim
a
cs reader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Proper
g
a
rbag
e
collect
i
on o
f
f
oreign obj
e
cts using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Hau
s
SWIG
wrapp
e
r layer and
.
i file for precosat, minimalis
t
ic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Import preco
s
at
-
465r2-2ce8
2
ba-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
I
nitial l
a
yout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree