certik/oscas-sympy — pull request #8 by mattpap (2011-11-04 23:01:48+00:00)
Title: Extended example showing Groebner bases

Added code showing how to solve the "coins" problem without Groebner bases.