• View
• Edit
• History
• Print

ICIntervalSolver

library(ic) is a constraint propagation solver for variables that range over finite domains or continuous intervals.

• 0-1 Knapsack knapsack_ic.ecl
• Bounded Knapsack knapsack_bounded_ic.ecl
• Unbounded Knapsack knapsack_unb_ic.ecl
• Bin Packing
• Square-Sum Chain Problem