reasoning: Decouple reasoning engines from core mmint (10)

 * Refactor java constraint solving into own project