Todo List
- Class CrowdedChess
- Currently this script finds a solution. Instead, it should find the maximum number of knights for a given size.
- Class Gecode::Int::Arithmetic::Mult< View >
- Currently this propagator only works for View being IntView. This will change when integer views are available in fully generic form.
- Member Gecode::producer_consumer (Space *home, const IntVarArgs &produce_date, const IntArgs &produce_amount, const IntVarArgs &consume_date, const IntArgs &consume_amount, int initial, IntConLevel icl=ICL_DEF)
- Make amounts variable, requires changes to cumulatives.