|[p2-dev] launching with new SAT4J|
I have been unable to launch any test suites or a workbench with the new SAT4J in my workspace.
It fails with ClassNotFound on ContradictionException.
If I run it from the target, then it works.
Not sure what's going on here, but thought I'd share this in case anyone else was confused...