Comment by pauldirac137

This is exactly the problem that modular implicits will solve. See http://arxiv.org/pdf/1512.01895.pdf