Binary: inter

Debian packages that has this binary:

Package: gap-guava-bin

/usr/lib/x86_64-linux-gnu/gap/pkg/guava/bin/leon/inter