java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Add JavaSMT project template for Ivy/Ant

Open daniel-raffler opened this issue 8 months ago • 0 comments

Hello, the Getting-started guide recommends users to use Ivy to install JavaSMT, but we currently don't have an example project for this. This PR adds adds the missing project template for Ant/Ivy. There are still some open questions:

  • Should this go in the JavaSMT repository? Or be published as a separate project, similar to Java Project Template?
  • ~~Do we want to support Windows/Mac OS? If so, could somebody test it?~~ I've added support, but it still needs testing
  • Should we include project files for IntelliJ or other IDEs?

daniel-raffler avatar Mar 23 '25 15:03 daniel-raffler