Page "SummerOfCode" was changed by cal@macports.org Diff URL: <https://trac.macports.org/wiki/SummerOfCode?action=diff&version=184> Revision 184 Comment: Suggest SAT-solving using CUDF Changes: -------8<------8<------8<------8<------8<------8<------8<------8<-------- Index: SummerOfCode ========================================================================= --- SummerOfCode (version: 183) +++ SummerOfCode (version: 184) @@ -169,16 +169,13 @@ Programming languages: Tcl, C[[BR]] Potential mentor: TBD -==== Dependency calculation during upgrade ==== #depcalc - -Revamp the upgrade code to figure out (and optionally report) what -it's going to do and detect conflicts etc. before it actually changes -anything, and maybe even roll back to the original state if there's a -failure - -Classification: medium[[BR]] -Programming languages: Tcl, C[[BR]] -Potential mentor: TBD +==== Dependency calculation using SAT solving ==== #depcalc + +Implement an interface to a [http://www.mancoosi.org/cudf/ Common Upgradeability Description Format]-based SAT solver and print a summary before executing the calculated plan. If time permits you can try different solvers or implement rolling back on failure. + +Classification: challenging task[[BR]] +Programming languages: Tcl, C[[BR]] +Potential mentor: cal ==== Reclaim disk space ==== #reclaim -------8<------8<------8<------8<------8<------8<------8<------8<-------- -- Page URL: <https://trac.macports.org/wiki/SummerOfCode> MacPorts <http://www.macports.org/> Ports system for Mac OS This is an automated message. Someone added your email address to be notified of changes on 'SummerOfCode' page. If it was not you, please report to .