een-solver.green.0.2.0.source-code.build.properties Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of green Show documentation

Universal interface to decision procedures, constraint solvers, model counters, and related tools

The newest version!

# Build properties for green.
#
# +-------------------------+
# | DO NOT MODIFY THIS FILE |
# +-------------------------+
#
# Instead, override the settings in ~/.green/green.properties.

target = 1.8
source = 1.8

green.latte.path = /usr/local/latte/bin/count
green.latte.args = --triangulation=cddlib

green.z3.path = /usr/local/bin/z3
green.z3.args = -smt2 -in
green.z3.lib = /usr/local/lib/

green.barvinok.path = /usr/local/barvinok/bin/barvinok_count
green.barvinok.args = 

# Still working on the services below

cvc3lib = /path/to/green/lib/cvc3-2.4.1/java/lib/
#barvinoklattepath = /path/to/green/lib/barvinok-0.39/barvlatte
#barvinokisccpath = /path/to/green/lib/barvinok-0.39/barviscc