Make Sat4j easily embeddable with JVM language
We use the Java code conventions in Sat4j. Those conventions are not necessarily used in other JVM languages (such as Scala and Groovy for instance). We would like to make Sat4j the library of choice for all JVM languages. Such it might be needed to add/rename some methods of the api to make them easily usably in those languages.