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
another round of default test predicate mess
2011-05-09
Ut
z
-Uw
e
Haus
ano
t
h
e
r round o
f
default
test pre
d
icate mess
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
H
aus
messing wi
t
h
d
efault test predicate in macro again
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Ha
u
s
.
gitignore u
p
date
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
U
tz-Uwe
H
aus
fixes for package name conf
u
s
i
on in swig-lispify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Redu
c
e consing in flush-to-backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
A
d
d vector
variant for clause-
v
alid method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Reduce c
o
nsing an
d
recursion in split-
d
elimited-string
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Al
l
ow ass
u
mptions to be li
s
ts or vectors in
back
e
nd
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Avoi
d
doub
l
e mapping from symbolic literals to v
a
riabl
e
s
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
au
s
Fix NNF ge
n
eration if explicit
:AT
O
Ms
a
r
e
used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Hau
s
fix
add-formula to drop
:
AND an
d
:
O
R
-symbols
b
e
for
e
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
F
i
x m
a
cro expansion
time con
f
usion in with-i
n
dex-h
a
sh
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Hau
s
remove debugg
i
ng output and ensure empty
clauses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e Haus
Fix call to minisat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z
-
U
we Haus
Fix non-cnf formula a
d
dition interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz
-
Uw
e
H
a
us
Fix with-sat-so
l
ver macro to co
r
rectly r
e
fe
r
ence *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Haus
(minisat backend
)
Return
number
of queued assu
m
ptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also build mini
s
at backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe H
a
us
Fix
assumption hand
l
ing in precosat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add CNF b
u
ilder conven
i
e
nce
f
unct
i
o
n
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
add-clauses convenienc
e
function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New method sy
n
chronize-backend to allow incre
m
ental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Ha
u
s
Add minisat
ba
c
kend to
lisp
co
d
e,
make it
t
he default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we
H
aus
Mini
m
alis
t
ic minisat he
a
der and
S
WIG
integration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Haus
Autotoo
l
s setup for
m
ini
s
at
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Fix first line i
n
dim
a
cs format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
m
p
ort min
i
sat2-07
0
721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe
H
au
s
Really fix m
e
mory issue: Prec
o
s
at Solver->reset
(
) was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix with-i
n
dex-ha
s
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Proper
l
y dis
p
ose
of preco
s
at objects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
a
us
Add ge
t
-essential-variables im
p
le
m
en
t
ation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add with-sat-solve
r
and w
i
th-index-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add dimacs rea
d
er/wri
t
er
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Proper ga
r
bage collect
i
o
n
of foreign object
s
u
sing
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
SW
I
G wrapper layer and
.
i
file
for precosat, mini
m
a
li
s
t
i
c
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Ut
z
-Uwe Haus
I
mport precosat-465
r
2
-
2c
e
8
2ba-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
t
z-Uwe
H
aus
Initial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree