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 non-cnf formula addition interface
2010-06-17
Utz-Uwe Haus
Fix non-cnf f
o
rmula addition in
t
erface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Hau
s
Fix
w
ith
-
s
at-solver macro to corre
c
tly refere
n
ce *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
(minisat backend ) Return number of
q
ueue
d
assumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe Haus
Also build minisat
b
ackend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Ha
u
s
Fix
a
s
s
umption
h
andling
i
n pr
e
cosat b
a
c
k
end
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-
U
we
Haus
Ad
d
CNF builder conve
n
ie
n
c
e func
t
ions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe Haus
a
d
d-clauses
c
onvenience function
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe Haus
New method synchron
i
ze-backend to allow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Add m
i
n
i
sat
b
a
ckend to lisp co
d
e, make it the default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Ha
u
s
Minimalistic minisat
h
ea
d
er and SWIG integrati
o
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe
H
aus
Autotoo
l
s s
e
t
u
p
f
o
r minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fi
x
first line in di
m
acs format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e
H
a
us
Import minisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really
f
ix
m
em
o
ry issue:
Precosat S
o
lver-
>
rese
t
() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
Fix with-in
d
ex
-
hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
Properly dispose o
f
precosat
o
bjects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add get
-
essential-variabl
e
s impleme
n
tation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
A
d
d
with-sat-solver and with-
i
ndex-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
A
dd dima
c
s reader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uw
e
H
a
us
Proper garbage co
l
lec
t
io
n
o
f
foreign objec
t
s using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-U
w
e Haus
SWI
G
wrapper layer an
d
.
i file for p
r
e
cosat, m
i
nimal
i
stic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe
H
a
us
Im
p
ort precosat
-
465r
2
-
2
ce82b
a
-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
t
z
-
U
we Ha
u
s
I
n
itial
l
a
y
o
u
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree