build.properties « com.microsoft.z3 « SMT-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/SMT-Solver/com.microsoft.z3/build.properties

blob: 87f4e73f361566cdf68c1106182c8e23367dab7c (plain) (blame)

1
2
3

bin.includes = META-INF/,\
               lib/,\
               com.microsoft.z3.jar