Community
Participate
Working Groups
A new version of sat4j is required.
CQ https://dev.eclipse.org/ipzilla/show_bug.cgi?id=4430
*** This bug has been marked as a duplicate of bug 344140 ***