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 add-formula to drop :AND and :OR-symbols before adding clauses
2010-06-22
Utz-Uwe Hau
s
f
ix
add-formul
a
to drop
:
AN
D
an
d
:OR-s
y
mbol
s
before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix macro expansion time co
n
fusion
in with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
remo
v
e
d
ebuggi
n
g
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-Uwe Haus
Fix call to mi
n
isa
t
s
o
lve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
Fix
n
on-cnf f
o
rmula additi
o
n
i
nterface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Ha
u
s
Fix with-sat-
s
o
lver macro to correctly ref
e
rence *defau
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
(
minisat backend
)
R
eturn numbe
r
of queued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also
b
uild
m
i
n
isat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
aus
Fix assumptio
n
handl
i
ng in precosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
A
dd C
N
F bui
l
der convenience functi
o
ns
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
tz-Uwe
Hau
s
add-clauses conve
n
ience f
u
nct
i
on
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe
H
aus
New m
e
thod syn
c
hr
o
nize-b
a
ckend to allow
incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Ad
d
m
i
nisat backend to
l
isp code, make it the d
e
fault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
Uwe Haus
M
i
n
i
malistic minisat h
e
ad
e
r an
d
SWIG i
n
tegr
a
tion
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
w
e
Haus
A
utotoo
l
s setu
p
for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Fi
x
first line i
n
dimacs
f
ormat expo
r
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
a
us
I
mport minisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
R
eally fix memo
r
y issue: Precosat Solver->reset() w
a
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
Fix w
i
th-in
d
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
P
roperly dispose of precosa
t
obj
e
cts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe
H
aus
A
d
d ge
t
-essential-variables impleme
n
ta
t
ion
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree