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
fixes for package name confusion in swig-lispify
2011-05-09
U
t
z-U
w
e Haus
fixes
f
o
r package name co
n
fusion in swig-lisp
i
f
y
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
a
u
s
Reduce consin
g
in flush-to-
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we
Haus
Add vector variant f
o
r clause-v
a
lid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Redu
c
e con
s
ing
a
nd rec
u
rs
i
o
n in split-delimi
t
ed-strin
g
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
Allow assumptions to be lists or vectors in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
w
e
Haus
Av
o
id double mapping from symbo
l
ic literals
to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
i
x NNF generat
i
on i
f
e
x
plicit :ATOMs are us
e
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix add-formula to drop :AND
an
d
:OR-symb
o
ls b
e
fore
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix macr
o
expansion time confu
s
ion in with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe Haus
remove de
b
ugging out
p
ut and ensure
empty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix ca
l
l to
min
i
sat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z-Uwe Haus
Fix non-cn
f
fo
r
m
u
la
ad
d
it
i
on int
e
rface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Hau
s
Fix with-sat-solver ma
c
ro to correct
l
y reference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(
m
i
n
is
a
t b
a
ckend ) Return numb
e
r of queued assumptio
n
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also build minisat ba
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
F
ix assumption hand
l
ing
in p
r
e
co
s
a
t bac
k
end
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
A
dd CNF bu
i
lder conv
e
n
i
ence fu
n
ctions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
tz-Uwe H
a
us
add-clauses conveni
e
n
c
e func
t
i
on
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New
met
h
od sync
h
ro
n
ize
-
back
e
n
d to allow
incre
m
ental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat backend
to lis
p
code, mak
e
it
t
he defau
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-U
w
e
Haus
M
in
i
mal
i
s
t
i
c
minis
a
t
header and
S
WIG int
e
g
r
ation
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Hau
s
Auto
t
o
ols
setup for minis
a
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-U
w
e H
a
us
F
i
x
first line in d
i
ma
c
s f
o
rmat
e
xport
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
a
us
Import minisa
t
2
-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we H
a
u
s
Really fix memor
y
is
s
u
e
: Precosat
S
olver->r
e
set() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
u
s
Fix wi
t
h-index-ha
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Ha
u
s
Properly dis
p
ose of precos
a
t objec
t
s
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Add get-essential-v
a
riables i
m
p
lementat
i
on
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree