Move grounding code out of mx

Issue #161 resolved
Bart Bogaerts created an issue

the mx inference now contains a lot of code that belongs in the ground inference (everything up to //run the solver). We should move it there..

Comments (2)

  1. Log in to comment