Alloy2smt is a translator that translates models written in alloy language into cvc4 smt-lib language.
Java Platform (JDK) 8
- Clone the project
git clone https://github.com/mudathirmahgoub/alloy2smt
- Run gradle wrapper command with build. For Linux run the command
./gradlew build
. For Windows run the commandgradlew.bat build
. To build without running the tests, use the taskalloy2smtWithDependencies
instead ofbuild
- Run the translator using the command
java -jar build/libs/alloy2smt_with_dependencies.jar -i examples/test.als -o examples/test.smt2
The generated smt files can be checked using the SMT solver CVC4.