On: You can use C-Reduce for any language

[edwcross]

A "super-parallel Python port" of C-Reduce, cvise (https://github.com/marxin/cvise), is actually written in Python.