Add solver factory for csp
remove sat4j-pb and sat4-core because both are included in sat4j-sat