SAT4J-core, SAT4J-sat and SAT4J-pb moved to an wrapped plugin
dependencies changed to wrapped sat4j projects
move tests to an plugin fragment
sat and pseudo-sat joined
Director moved to api