I will not release the test generator quite yet. The method I chose to input the problem to the constraint solver is too verbose. I am already looking at an alternative solution using Python introspection and or-tools from Google.
I do have a patch for spike to allow the tool to be controlled from a different process. I can release that if there is interest.