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
Utz-Uw
e
Haus
F
i
x NNF generation if ex
p
lic
i
t :ATOM
s
a
r
e
used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-U
w
e Haus
fix add-formula to drop :AND a
n
d :
O
R-symbol
s
before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
F
i
x macro expansion t
i
m
e confu
s
ion in
w
ith-
i
ndex-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Ha
u
s
rem
o
ve debugging output and
e
nsure empty clause
s
ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Ha
u
s
F
i
x call to mini
s
at solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
Fix n
o
n-cnf f
o
r
m
ula addi
t
i
on
i
n
t
e
rfa
c
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Hau
s
Fix wi
t
h-sat-so
l
ver macro to c
o
rrectly refer
e
nce
*
default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Haus
(
mi
n
isat b
a
ckend
) Return num
b
e
r of queued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Ut
z
-Uwe Haus
Also bu
i
ld minisat
b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe H
a
us
Fix assumpt
i
on
h
andl
i
ng in precos
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
H
aus
Add CNF buil
d
er convenie
n
ce
functi
o
ns
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Ha
u
s
a
dd-clauses con
v
e
nienc
e
f
u
nction
commit
|
commitdiff
|
tree
2010-06-03
Utz-
U
we Haus
New me
t
hod synchr
o
nize-backend to
allow increme
n
tal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Haus
A
d
d
minisat bac
k
end to
lisp co
d
e
,
m
ake i
t
t
he default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Minimal
i
stic
m
i
n
isat header and S
W
IG i
n
tegration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotools setup for minisa
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Ha
u
s
Fix first line in dimacs
f
or
m
at e
x
port
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Import
m
in
i
sat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
R
e
all
y
fi
x
memo
r
y iss
u
e: Precosat Solver->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe
H
a
u
s
Fix
w
ith
-
index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
a
us
Pro
p
erly
dispose o
f
pre
c
osa
t
objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add get-ess
e
ntial
-
variable
s
i
m
plementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree