Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to given Bounds (or Instance) and Options. The {@linkplain kodkod.engine.fol2sat.Translator} class contains methods for translating a Kodkod formula to CNF, evaluating a Node with respect to an instance, and over-approximating the value of an expression based on the upper bounds in a given Bounds object.