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
U
tz
-
Uw
e
Haus
fix add
-
for
m
ula to
d
rop :
A
ND and :OR-symbols
b
efore
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
ix macro exp
a
nsion time confusion i
n
with-index-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
re
m
ove
debugging output and ensure
empty
cl
a
u
s
e
s are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Haus
Fix c
a
ll to minisat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-Uwe H
a
us
F
ix
n
on-cnf formula
a
ddition
i
n
terface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
U
tz
-
Uwe H
a
us
Fix with-sat-solver macro to correctly r
e
ference
*
de
f
a
u
lt
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe H
a
us
(minisat backend ) Ret
u
rn
n
umber of queued a
s
sumption
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also build minisat
backen
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumption ha
n
dling
in pr
e
cosa
t
ba
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-U
w
e Ha
u
s
Add CNF b
u
ilder convenience fu
n
c
tions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clauses c
o
nveni
e
nc
e
function
commit
|
commitdiff
|
tree
2010-06-03
Utz-
U
w
e Haus
New
method synchro
n
ize-
b
ackend
t
o allow increment
a
l
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe H
a
us
Add
minisa
t
backend to lisp code,
make it t
h
e default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Hau
s
Minimalist
i
c minisat hea
d
er
a
nd SWIG integ
r
ation
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Autotools setup for m
i
nisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Fix fi
r
s
t lin
e
in dimacs forma
t
ex
p
ort
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Import minisat2-0
7
0721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Really fix me
m
ory issue: Precosat Solver->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
Fi
x
with
-
ind
e
x-h
a
sh
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-
U
we Haus
Prop
e
rly dispo
s
e
o
f preco
s
a
t ob
j
e
cts
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
Add
g
e
t-essen
t
ial-variab
l
e
s
implementati
o
n
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
Add with-sat-
s
olver and
w
i
th-index-hash macro
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
Uwe
H
aus
Add dim
a
cs rea
d
er/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Proper
g
arbage co
l
l
ection of foreign
object
s
using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
SWIG wra
p
p
e
r
layer
and
.
i file f
o
r precosat, mi
n
i
m
a
l
i
stic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Import pr
e
cosa
t
-465r2-2ce82ba-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uw
e
H
a
us
Initial lay
o
u
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree