Interval analysis for jsy using Apron

[tianhan0]

Manual Intellij setup for environment configuration of Apron

• Configure the compile environment
  1. Open "Project Structure"
  2. Select Modules at the left panel
  3. Dependencies tab
  4. '+' → JARs or directories
  5. Locate and choose "apron.jar" and "gmp.jar". For example, on my machine the path is "/nix/store/bwgwq2qkh9j3wrr5m6x6nmq86q4ppqsl-japron-1097/share/java/apron.jar"
• Configure the test file
  1. Click "Run -> Edit Configurations"
  2. Add an environment variable named "DYLD_LIBRARY_PATH" (for Mac) or "LD_LIBRARY_PATH" (for Linux)
  3. Set its value to the lib/ directory. For example, on my machine the value is "/nix/store/bwgwq2qkh9j3wrr5m6x6nmq86q4ppqsl-japron-1097/lib"