The Smart in Smart

Anders F Björklund afb at algonet.se
Thu Mar 11 03:56:18 PST 2010


The depsolver in Smart could need some attention,
if someone wants to focus on the actual algorithms.

The Mancoosi project is running a "competition"
for solvers <http://www.mancoosi.org/misc-2010/>,
that runs on a simplified problem format (CUDF)
which fits the Smart level of abstraction nicely...

I have done some of the surrounding framework in
the smart/mancoosi.py file, and most of the actual
depsolving takes place in the smart/transaction.py
with needed support from cache.py and sorter.py.

Please let us know if you are interested in this
problem, it would be "nice to have" for Smart 1.4.

--anders


PS. Some bugs related to this issue would be:
https://bugs.launchpad.net/smart/+bug/245344
https://bugs.launchpad.net/smart/+bug/349465
A new test suite would also be highly useful ?

This could work with the sample channels and
sample platform/distribution "suites" for the
smartstrap project, to get even more live data
for this research project should it be needed.




More information about the Smart mailing list