cs-rivers Case Study: River Crossing Problems A case study of how to model and solve river crossing problems in Java.