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
Fix NNF generation if explicit :ATOMs are used
2010-06-22
U
t
z-Uwe Haus
Fix NNF gene
r
at
i
on if expli
c
it :ATOMs ar
e
used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uw
e
Haus
fix add-formula to dr
o
p
:AND and :OR
-
symbol
s
before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix ma
c
ro expan
s
ion time confusion
i
n with-in
d
ex
-
h
a
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e Haus
remove debu
g
g
ing
o
utput a
n
d
e
nsure e
m
pty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe
H
aus
Fix cal
l
to
m
i
n
is
a
t
s
olve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-
U
we Haus
Fix non-cnf fo
r
mula addition interface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Ut
z
-Uw
e
Hau
s
Fix wit
h
-s
a
t-
s
olve
r
mac
r
o
t
o
correctly re
f
eren
c
e *de
f
au
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uwe Haus
(minisat backend ) Return n
u
mb
e
r of queued assumptio
n
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Hau
s
Also build minisat
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z
-Uwe Haus
Fix assum
p
tion handling
in preco
s
at backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
tz-Uwe Haus
Ad
d
CNF builder c
o
nve
n
ience f
u
nctions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clauses con
v
enience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe H
a
us
New met
h
o
d synchr
o
nize-back
e
n
d to allo
w
i
ncrementa
l
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Add
minisat
b
acken
d
to lisp cod
e
,
make it the
d
ef
a
ult
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Minimalistic minisat head
e
r and SWI
G
integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotools setup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Fi
x
firs
t
line i
n
di
m
acs format expo
r
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Import
mi
n
isat2-070
7
21
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
R
e
ally
fix memo
r
y issue: Precosat
Solver->rese
t
() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
F
ix with
-
index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Pro
p
e
rly dispose of pre
c
osat obj
e
cts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Add g
e
t-essential-variables imp
l
e
mentation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
