Longestbranch not enforced

Issue #340 new
Broes De Cat created an issue

In the attached file, mx hangs quite long during grounder creation, probably a bdd bug (reducing the number of variables increases speed).

Comments (2)

  1. Log in to comment