Changes between Version 183 and Version 184 of SummerOfCode


Ignore:
Timestamp:
Feb 25, 2013, 1:58:59 AM (11 years ago)
Author:
neverpanic (Clemens Lang)
Comment:

Suggest SAT-solving using CUDF

Legend:

Unmodified
Added
Removed
Modified
  • SummerOfCode

    v183 v184  
    170170Potential mentor: TBD
    171171
    172 ==== Dependency calculation during upgrade ==== #depcalc
    173 
    174 Revamp the upgrade code to figure out (and optionally report) what
    175 it's going to do and detect conflicts etc. before it actually changes
    176 anything, and maybe even roll back to the original state if there's a
    177 failure
    178 
    179 Classification: medium[[BR]]
    180 Programming languages: Tcl, C[[BR]]
    181 Potential mentor: TBD
     172==== Dependency calculation using SAT solving ==== #depcalc
     173
     174Implement 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.
     175
     176Classification: challenging task[[BR]]
     177Programming languages: Tcl, C[[BR]]
     178Potential mentor: cal
    182179
    183180==== Reclaim disk space ==== #reclaim