Experimental binding for the numerical abstract domains provided by the APRON library: http://apron.cri.ensmp.fr/library For now, this binding only processes scalar integer variables.
val octagon : Eva__.Abstractions.Domain.registered
val box : Eva__.Abstractions.Domain.registered
val polka_loose : Eva__.Abstractions.Domain.registered
val polka_strict : Eva__.Abstractions.Domain.registered
val polka_equality : Eva__.Abstractions.Domain.registered