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-
U
we Haus
messing with
d
efault test predicate in
macro again
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
.
g
itign
o
re upd
a
te
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
fix
e
s for pack
a
ge name con
f
us
i
o
n
in swig-lispify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe
H
aus
Reduce consing in flush-to-back
e
nd
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe
Hau
s
A
dd
v
e
ctor variant fo
r
clau
s
e
-
vali
d
method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Red
u
ce c
o
nsing a
n
d recursion in sp
l
it-delimited-string
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-U
w
e Ha
u
s
Al
l
ow
assu
m
ptions to be lists or vectors in backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe H
a
us
Avo
i
d do
u
ble mapping from symbolic literals to variables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
ix NNF generation if ex
p
licit :
A
T
O
Ms are
u
s
ed
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz
-
Uwe Haus
fix a
d
d-for
m
ula
to drop :A
N
D and :OR-sy
m
bols before
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-
Uwe Ha
u
s
Fix macro expans
i
on time
c
o
n
f
u
s
ion in with-inde
x
-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z-Uwe Haus
re
m
ov
e
d
e
bugging
o
utput and
ensure empty cl
a
uses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
Fix c
a
ll
to mini
s
at solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cnf
f
ormula additi
o
n interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uw
e
Haus
Fix wit
h
-sat-solver macro to cor
r
ectly
r
eferen
c
e *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(
m
inisat
ba
c
kend ) Ret
u
r
n numb
e
r of queue
d
assump
t
ions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
Als
o
build
m
i
n
isat
backen
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
w
e Haus
Fix assumption
h
a
n
dling i
n
pre
c
osa
t
b
a
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe Ha
u
s
A
dd CNF builder convenience functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uw
e
Haus
add-clauses
convenience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe H
a
us
New met
h
o
d
sy
n
chronize-backend to
allow incremen
t
al
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Ad
d
minisat backend to lisp co
d
e, mak
e
i
t
the
d
efault
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Min
i
malistic
minisat hea
d
er an
d
SWIG integration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
w
e
Haus
Autotools setup for m
i
nisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
F
ix
first line in di
m
acs format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Impo
r
t minisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fi
x
memory
issue: Pr
e
co
s
a
t
So
l
ver
-
>reset
(
) w
a
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-U
w
e
Haus
F
i
x wi
t
h-
i
ndex-h
a
sh
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Hau
s
Properly
d
i
s
pose o
f
precosa
t
objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
Add get-es
s
e
n
t
ial-vari
a
bles impl
e
mentation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
Add wit
h
-sat-so
l
v
e
r an
d
with-in
d
ex-ha
s
h macro
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add
d
i
m
acs
r
eader/wr
i
ter
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Proper garbage c
o
llection of
f
oreign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
u
s
SWIG w
r
a
p
per layer
a
nd
.
i f
i
l
e for pr
e
cosat
,
minim
a
listic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
tz-Uwe Haus
Import precosat-46
5
r2-2ce82
b
a-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Hau
s
Initial l
a
y
out
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree