Contains operators for Kodkod formulas, expressions, and integer expressions.

Package Specification

Contains operators for Kodkod formulas, expressions, and integer expressions.