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 for asdf3
2016-05-30
Utz-Uwe Haus
mode
r
n
iz
e
a
u
totools usage
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-13
Utz-Uwe Haus
add
missing configure
.
a
c
a
n
d ltm
a
i
n
.
sh i
n
minisat subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Ha
u
s
update to newer libtool, keep in
-
tree
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Haus
another round
o
f defaul
t
test predicate mess
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-U
w
e Haus
messing with d
e
fault test
predi
c
ate in m
a
cro again
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z
-Uwe Haus
.
gitignore update
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
H
au
s
f
ixes for
pa
c
kage name co
n
fus
i
on in swi
g
-lis
p
ify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Reduce consing in flush-to-
b
acke
n
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Add vector variant for c
l
ause-v
a
lid method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce
c
onsing and rec
u
rsion in split-delimited-
s
tring
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-Uwe Haus
Al
l
o
w
a
s
s
umptions
to
b
e lis
t
s o
r
vectors i
n
back
e
nd
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
A
void do
u
b
le mapp
i
ng
fr
o
m symbolic lite
r
a
ls to var
i
ables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-U
w
e
Haus
Fix N
N
F genera
t
ion if expli
c
it :ATOMs are used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Ha
u
s
fix
a
d
d-f
o
rm
u
l
a
to drop
:AND a
n
d :OR-symbol
s
before
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we
H
au
s
Fix m
a
cr
o
ex
p
ansion time confusion in w
i
th-index-ha
s
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
r
emove d
e
bugging output and
e
nsure empt
y
clau
s
es are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
i
x call to mini
s
at solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uw
e
Haus
Fix non-cnf formula
a
d
dition interf
a
ce
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
U
t
z-Uwe
Ha
u
s
F
i
x with-sat-s
o
lver macro to corr
e
c
t
ly reference *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uwe Haus
(mi
n
isat b
a
ck
e
nd
)
Ret
u
rn number of queued
assumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe H
a
us
A
lso buil
d
m
i
nisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe H
a
us
F
i
x assumption h
a
ndling in precosat
b
ac
k
end
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uw
e
H
a
us
Add CNF bu
i
lder convenienc
e
functio
n
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe Haus
add-cl
a
uses
convenience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Hau
s
Ne
w
met
h
od synchronize
-
b
a
ckend to allow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat backend to lisp code, make it th
e
de
f
au
l
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
au
s
Minimalist
i
c minisa
t
heade
r
a
nd SWIG integrati
o
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Auto
t
o
ols setup for minisa
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix first
l
in
e
in dima
c
s format expor
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Impor
t
minisat2
-
070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix memory issue: Precos
a
t Solver->
r
eset() wa
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Fix with-i
n
dex-has
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Properly di
s
pose of p
r
ec
o
sat objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
Uwe
H
aus
Add get
-
essential-var
i
a
bles implementa
t
ion
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Add
w
ith-sat-solv
e
r
and with-ind
e
x-hash mac
r
o
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-U
w
e Haus
Add
d
imacs reader/writ
e
r
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
U
w
e Hau
s
Proper garbage collection
o
f fore
i
gn objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe
H
aus
SWIG wrappe
r
l
a
yer
and
.
i
file fo
r
pr
e
cosat, minimalistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uw
e
H
a
us
Impor
t
precosat-4
6
5
r
2-2ce82
b
a-10
0
514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Ini
t
ial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree