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
add missing configure.ac and ltmain.sh in minisat subtree
2011-05-13
Utz-Uwe Hau
s
add mi
s
sing
conf
i
gure
.
ac and ltmain
.
sh in minisat sub
t
r
ee
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
u
p
d
ate to new
e
r
l
i
b
t
oo
l
, keep in
-
tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
another round of default test p
r
edicate me
s
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
messing
w
ith default test predicate in ma
c
ro ag
a
in
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
.
gitignore
u
p
date
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
Ha
u
s
f
i
xes for package name confusion in
swig-lispi
f
y
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce consing in f
l
ush-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Hau
s
A
d
d vect
o
r
v
a
riant for clau
s
e-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
R
e
duce consing and r
e
cursio
n
in split-delimited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Allow assu
m
p
tions to be lists
or vec
t
ors in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Avoid dou
b
le mapping from
s
ymbo
l
ic litera
l
s to var
i
ables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF generation if explicit
:
ATO
M
s are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe
H
aus
f
ix ad
d
-for
m
ula to drop :AND and :O
R
-symbols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
a
u
s
Fix macro
ex
p
ansio
n
time c
o
nfusion in with-in
d
ex-h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
remove debugging
o
utput and
ensu
r
e e
m
pty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
i
x call to minisat solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cnf
f
or
m
ula addition
i
nter
f
ac
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe
H
au
s
Fix with
-
sat-
s
olver
m
a
cro to correctly refere
n
ce *def
a
ult
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-U
w
e
Haus
(
minisat backend ) Retur
n
number of queued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
Als
o
b
uild minisa
t
b
acken
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe
H
au
s
Fix assumption handling
in
precosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uwe
Haus
Add CNF build
e
r
conven
i
ence functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add
-
clauses conv
e
nience
function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe
H
aus
New method synchronize-backend to allow incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
H
aus
A
d
d minisat backend to
lisp code, make i
t
t
he defau
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minimalisti
c
minisat
hea
d
er a
n
d SWIG
in
t
eg
r
a
t
i
o
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Autotools se
t
up for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-Uw
e
Haus
Fi
x
f
ir
s
t li
n
e in
dimacs forma
t
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Impor
t
minisat2-070
7
2
1
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
u
s
Really fix memo
r
y issue: Precosat Solver->
r
ese
t
() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
Fix with-ind
e
x
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Properly
d
is
p
ose
o
f
precosat
o
b
jects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
us
Add get-ess
e
ntia
l
-variables implementat
i
on
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree