Feb-2015 Challenge

This month we published a simple challenge problem:
How can a given amount of money be made with the least number of coins of given denominations?
We expect to see how your favorite DM tool would address this challenge.