jpcik/srbench — pull request #1 by jmora (2013-06-28 16:38:11+00:00)
Title: Some axioms added

Just a couple of them, but I think they can be useful.

This is not the final version, but I couldn't think of a better place to store this version before messing it up.