The package is organized in the following subpackages:
inox.ast: Provides definitions for expressions, types and definitions,
as well as operations on them
inox.evaluators: Evaluators of Inox expressions
inox.solvers: Interfaces to SMT-solvers
inox.tip: Parsing and printing for TIP problems
inox.transformers: Tree transformations for Inox expressions
inox.utils: Utility methods
Core package of the Inox solving interface
Structure
The package is organized in the following subpackages:
inox.ast: Provides definitions for expressions, types and definitions, as well as operations on them inox.evaluators: Evaluators of Inox expressions inox.solvers: Interfaces to SMT-solvers inox.tip: Parsing and printing for TIP problems inox.transformers: Tree transformations for Inox expressions inox.utils: Utility methods