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
remove debugging output and ensure empty clauses are deleted from CNFs
2010-06-17
Utz-Uwe H
a
u
s
remove de
b
ugging outp
u
t a
n
d
e
nsure empt
y
clauses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe
H
aus
Fix call to minisat s
o
lve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe
Haus
Fix n
o
n-cnf
f
ormula addition interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
U
t
z
-
Uw
e
Haus
Fix w
i
th-sat-solver
macro to correctly refe
r
ence *defaul
t
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Ha
u
s
(mi
n
isat
bac
k
en
d
) Return number of
queued assumption
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Ha
u
s
Als
o
bui
l
d
mi
n
isat
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix a
s
sumption
handling
in pr
e
cosat b
a
ck
e
nd
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe Haus
A
d
d CNF
b
uilder c
o
nvenience fun
c
tion
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
H
aus
a
d
d-
c
lauses convenience
function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New meth
o
d s
y
nchroni
z
e-backe
n
d to allow inc
r
emental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe H
a
u
s
Ad
d
minisat bac
k
end to lisp code, make it the default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Haus
Minima
l
isti
c
minisat header 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-Uwe Haus
Fix fi
r
st
l
ine in dimacs fo
r
mat export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Import
mini
s
at2-0707
2
1
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Really fix memory issue: Precosat Solver->r
e
set(
)
wa
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Ha
u
s
Fix w
i
th-ind
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 pre
c
osat obje
c
t
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uw
e
H
a
u
s
Add
get-essential
-
variables impl
e
men
t
atio
n
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add with-sat
-
s
o
lver and with-ind
e
x-hash
m
a
cro
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add dim
a
cs reader
/
writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
Pr
o
per g
a
rbage collection of f
o
reign objects usin
g
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
Haus
SWIG
wrap
p
e
r
layer
a
nd
.
i
file for prec
o
sat
,
m
inimalistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
tz-Uwe
Hau
s
I
m
port
precosa
t
-
465r2-2ce82
b
a-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-
U
we
Ha
u
s
Initia
l
l
ayout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree