Make Sat4j easily usable in Scala
Scala has some conventions for methods and fields that are different from usual Java ones. It might be a good idea to complete the current API to make the integration of Sat4j inside scala programs seemingless.
Scala has some conventions for methods and fields that are different from usual Java ones. It might be a good idea to complete the current API to make the integration of Sat4j inside scala programs seemingless.