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
H
aus
F
ix non-cnf formula addition
i
n
t
e
rface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Ha
u
s
Fix with-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-
U
we Haus
(
mini
s
at bac
k
end ) Re
t
urn
n
umber
of queued ass
u
mpti
o
n
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-
U
we Haus
A
l
so build minisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
Fix
a
s
s
umption h
a
n
dling in
precosat bac
k
en
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
Haus
Add CN
F
builder c
o
n
v
enien
c
e
f
unctions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
Haus
a
d
d-
c
lauses c
o
nven
i
ence function
commit
|
commitdiff
|
tree
2010-06-03
Ut
z
-Uwe Ha
u
s
New method
s
ynchronize-
b
a
c
kend to al
l
ow increm
e
ntal
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Add min
i
sat backen
d
to
l
isp c
o
de, ma
k
e
it the default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Hau
s
M
inimali
s
tic minis
a
t heade
r
and SWIG inte
g
ration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
we Haus
Autoto
o
ls
setup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
H
aus
Fix first
l
i
n
e in dimacs f
o
rma
t
export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Import
m
in
i
sat2-070
7
21
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe
H
aus
R
eall
y
fix
memory issue:
P
recosat Solver->reset()
w
as
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
F
i
x wit
h
-
ind
e
x
-
hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
P
r
operly dispos
e
of precosat o
b
ject
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
Add get-essential-
v
aria
b
les implementati
o
n
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Add with-
s
at-solver
a
nd w
i
th-index-has
h
macr
o
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
Haus
Ad
d
dima
c
s
r
ead
e
r/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Pr
o
per
g
a
r
b
age c
o
llect
i
on
of f
o
reign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Ha
u
s
SWIG
wrapper layer a
n
d
.
i file for preco
s
a
t
, minimalis
t
ic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Import p
r
ecosat-465r2-2ce82ba-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Hau
s
Initia
l
l
a
yo
u
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree