Make Sat4j 3.0 a set of Java modules
With release 3.0, we want to deliver Sat4j as separate Java modules.
The main issue is to be able to build executable jars for the end users of SAT, PB or MAXSAT solvers.
#142 has initiated the discussion 3 years ago.
This work will be performed on a separate branch by @romain_wallon and @lonca until we find a reasonable solution (i.e. easy to use jar files from the command line for the end user).