Example-Maven-Web-Project

This is an example web-application for using JavaSMT with Maven. The example application prints a table of the available SMT solvers, their version number and supported features.

The Maven workflow in this project supports the following steps:

• Compiling: mvn compile downloads all dependencies and compiles the project.
• Testing: mvn test executes the Sudoku example test.
• Packaging: mvn package creates a war file for the example application. Dependencies like other jar files and binaries for SMT solvers are included in the war file.
• Running: the war file can be applied with your tomcat instance. On Ubuntu you can use the following commands:
  • Install tomcat9 (required once only): sudo apt install tomcat9 and sudo service tomcat9 start
  • Copy the war file to the webapps directory: sudo cp target/java-smt-web-example-VERSION.war /var/lib/tomcat9/webapps/. The running instance of tomcat9 will automatically unpack the war file.
  • Open http://localhost:8080/java-smt-web-example-VERSION/SolverOverviewServlet, and you should see a table of the available SMT solvers.

Please note that the Maven repository currently only contains release versions and no snapshots, thus the newest features and bugfixes might be missing. If a Maven step is not working or more steps are required, please ask or report an issue in the project.