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