Package apron

Class Test

java.lang.Object
apron.Test

public class Test extends Object
Simple test for the Java Apron binding.

Run with: java -ea -esa apron.Test