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
add missing configure.ac and ltmain.sh in minisat subtree
2011-05-13
U
tz-Uwe
H
a
us
a
d
d mi
s
s
i
ng configure
.
ac and ltmain
.
sh in
m
i
n
i
s
a
t subtree
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Haus
update
to n
e
wer l
i
b
tool,
k
e
e
p
in-tree
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Hau
s
a
n
other rou
n
d of default test predicate me
s
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Ha
u
s
mes
s
ing with def
a
ult te
s
t pr
e
dicate
i
n
m
acro again
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uw
e
Haus
.
gitigno
r
e
u
p
date
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Ha
u
s
f
i
x
es
f
or pack
a
ge name conf
u
s
i
o
n
in
swig-lispify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
R
e
d
u
c
e c
o
nsing in flush-to-ba
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Add vector v
a
r
i
ant f
o
r
c
l
aus
e
-valid meth
o
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Reduce
c
onsing an
d
r
ecursion in
s
plit
-
delimi
t
ed
-
string
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow
a
s
sumpt
i
ons
t
o
b
e lists or vect
o
rs in backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Avoid double mapping from
symbo
l
ic literals to
v
ariab
l
es
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
U
w
e
Haus
Fi
x
NN
F
g
eneration
i
f exp
l
i
cit :ATOMs are use
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
fix add-form
u
la to drop :AND and
:
OR
-
symbol
s
be
f
ore
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Fix macro expansion time c
o
nf
u
s
i
on i
n
with
-
index-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe Haus
r
e
move debugging output and e
n
s
u
re empty
clau
s
es are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uw
e
Haus
Fix
ca
l
l
to
m
inis
a
t solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
F
i
x non-cnf formula add
i
tion interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Ut
z
-Uw
e
Haus
Fix with-sat-solv
e
r ma
c
ro to correc
t
l
y
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 num
b
er
o
f queued a
s
sumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
a
u
s
Also b
u
i
ld m
i
ni
s
at
b
a
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
F
i
x
a
ssumption handling in pr
e
cos
a
t
ba
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-
Uwe
H
aus
Add CNF
builder c
o
nvenience
f
unctio
n
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz
-
Uwe Haus
add
-
clauses convenience
f
unct
i
on
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uw
e
Ha
u
s
New
m
e
t
hod
s
ynchro
n
i
ze-b
a
ckend to allow inc
r
emental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisa
t
ba
c
k
e
nd
t
o
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
M
inimali
s
tic minisat header and SWIG
i
ntegrati
o
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe
H
aus
A
u
totoo
l
s
setup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fi
x
f
irst l
i
ne in
dimacs format exp
o
r
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe Haus
Impor
t
minisa
t
2
-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Hau
s
Real
l
y fi
x
memory i
s
sue: Precosat Solver->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Ha
u
s
Fix with-
i
ndex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Pro
p
erly dispose
o
f pre
c
osat objec
t
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we
Haus
A
d
d
get-essenti
a
l-va
r
iabl
e
s implementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add with-
s
a
t-solver a
n
d with-index-
h
ash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add
d
im
a
cs reader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
P
roper g
a
rbage col
l
ection of foreign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
S
W
IG wrapper layer and
.
i file
fo
r
p
recos
a
t
,
min
i
mali
s
tic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Import prec
o
sat-465r2
-
2ce82ba
-
100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Init
i
al layo
u
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree