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