Tests moved to a plugin fragment 
tests moved to a plugin fragment
Tests moved to a plugin fragement
add a api plugin, to resolve unexpected dependencies between plugins
that need a couple of interfaces to implement a solver.
Remove a project that is not required
sat model construction split into a director with the workflow and the
builder to build sat elements
classifer moved to a new project
Classifier moved to a separate project
some dependency changes
First step to add pseudo sat
fixed some errors
pseudo sat added and some additional small modifications