Sbt now works again, the main problem was a missing dependency (scala-compiler). Furthermore now the sbt-assembly plugin is used to create a stand alone .jar.
It was necessary to delete a MANIFEST.MF file since otherwise sbt test would not work. This seams to have no other impact.
IntelliJ input works fine. It might be necessary to re create some run configs. Note that IntelliJ call an SBT task as a run config.
Support for building JNI programs is not yet included, this will be part of upcoming work to support external SAT solvers.
PicoSAT bindings
This pull request contains bindings for a big part of the PicoSAT API.
PicoSAT is build and included locally.
Furthermore, a few unit tests are included. They only test the bindings, not the functionality of PicoSAT itself. There is at least one unit test per bound function.
Updated SBT config
Sbt now works again, the main problem was a missing dependency (scala-compiler). Furthermore now the sbt-assembly plugin is used to create a stand alone .jar.
It was necessary to delete a MANIFEST.MF file since otherwise sbt test would not work. This seams to have no other impact.
IntelliJ input works fine. It might be necessary to re create some run configs. Note that IntelliJ call an SBT task as a run config.
Support for building JNI programs is not yet included, this will be part of upcoming work to support external SAT solvers.
PicoSAT bindings
This pull request contains bindings for a big part of the PicoSAT API. PicoSAT is build and included locally.
Furthermore, a few unit tests are included. They only test the bindings, not the functionality of PicoSAT itself. There is at least one unit test per bound function.