stevens-crag/crag — pull request #10 by dpantele (2013-03-16 05:25:47+00:00)
Title: Slp set/reduce

Here is working reduction.

Actually, we should also append commit f11b688521740bf41c3bd7f4a4d80bde68d2d022 to this branch, but I commited it into another branch, and now it is merged everywhere