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
.gitignore update
2011-05-09
Utz-Uwe
Ha
u
s
.
gitignore
u
pdate
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
H
a
u
s
fixes
f
o
r packag
e
name c
o
nfusion in
swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Red
u
ce consing
in flush
-
to-backen
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Add vector
v
a
ri
a
nt
f
or clause-v
a
li
d
method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
R
educe co
n
s
ing and recursion in
split-delimited-
s
tring
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow a
s
sumptions to be lists or vectors
i
n backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Avoid
do
u
ble mapp
i
ng fro
m
s
y
mbolic l
i
terals to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF generation if explicit :A
T
OMs are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we
H
aus
fix add-for
m
ula to drop :AND and :O
R
-s
y
mbols befo
r
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
Fi
x
ma
c
ro expansion time
con
f
usion in with-index
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z-Uwe Haus
r
emove
debu
g
ging o
u
tput a
n
d ens
u
re emp
t
y
c
l
a
u
ses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e
Haus
Fix cal
l
t
o
m
i
n
i
s
at solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cnf formula additi
o
n interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz
-
Uwe Haus
Fix with-sat-solve
r
m
a
c
r
o to correctl
y
r
e
f
e
rence *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(minisat backend
) Ret
u
rn num
b
er
o
f queued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e Hau
s
Also
build minis
a
t bac
k
end
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z
-Uwe Haus
Fi
x
assumption handling in
p
recosat back
e
nd
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add CNF b
u
ild
e
r
c
o
n
venience
f
u
nctions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Hau
s
add-cl
a
uses co
n
venience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe H
a
us
N
ew m
e
thod synchronize-back
e
nd to allow inc
r
emental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Add
m
in
i
s
at back
e
nd to lisp code, mak
e
it the
d
e
fault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Ha
u
s
M
inima
l
istic m
i
nisat hea
d
er and SWIG integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotool
s
setup for m
i
nisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Fi
x
f
ir
s
t line
i
n dimacs format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Import minisat2-07
0
721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Ha
u
s
Really fix
m
e
mory
issu
e
: Precosat Solv
e
r->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe
Haus
Fix wi
t
h-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Prope
r
ly dispose of precos
a
t objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add get
-
essential
-
v
ariables
i
mplementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree