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
U
t
z-Uwe Haus
r
emove debugging o
u
tput and
ensu
r
e empty cla
u
s
e
s ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
aus
Fi
x
c
a
ll to
m
inisat solv
e
()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe Haus
Fi
x
non-c
n
f formula addition interf
a
c
e
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz
-
Uwe H
a
u
s
F
ix
w
ith
-
sat-sol
v
er
macro to
c
o
r
rectly reference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
Uwe Ha
u
s
(
m
inisat
bac
k
en
d
) R
e
turn nu
m
b
e
r of queued ass
u
mp
t
ions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also buil
d
minisat backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e Haus
F
ix assum
p
ti
o
n handling in precos
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z
-
U
we Haus
A
d
d
C
N
F
builder c
o
nveni
e
n
ce
f
u
nc
t
ions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-cl
a
uses convenie
n
ce
f
u
nction
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe Haus
New m
e
thod s
y
nc
h
ronize-backend to allow increm
e
ntal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add
mini
s
at ba
c
kend to
l
i
s
p
code, make it the defau
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-Uwe Haus
Minimalistic
mini
s
at heade
r
an
d
SWIG
i
ntegration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Hau
s
Aut
o
tools setup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Hau
s
Fi
x
f
i
rst line
in dimacs fo
r
m
at
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
I
m
port m
i
nisat2-
0
70721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix memory
issue: Precosat Solver->reset
(
)
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
F
i
x wit
h
-inde
x
-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Hau
s
Prope
r
ly dispose of pr
e
cosat objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Ad
d
get-essential-variables impl
e
mentation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree