ericmoritz/simplox — pull request #10 by ericmoritz (2013-12-02 22:18:16+00:00)
Title: Feature/cache tuning

Removed the extra binary_to_term in the mcd backend.