src/main/scala/inox/ast/DSL.scala

src/main/scala/inox/ast/Definitions.scala

src/main/scala/inox/ast/Expressions.scala

src/main/scala/inox/ast/Extractors.scala

src/main/scala/inox/ast/Paths.scala

src/main/scala/inox/ast/Printers.scala

src/main/scala/inox/ast/SymbolOps.scala

src/main/scala/inox/ast/TreeOps.scala

src/main/scala/inox/ast/Types.scala

src/main/scala/inox/evaluators/RecursiveEvaluator.scala

src/main/scala/inox/solvers/ADTManagers.scala

src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala

src/main/scala/inox/solvers/theories/BagEncoder.scala

src/main/scala/inox/solvers/theories/SetEncoder.scala

...main/scala/inox/solvers/unrolling/DatatypeTemplates.scala

...main/scala/inox/solvers/unrolling/EqualityTemplates.scala

...main/scala/inox/solvers/unrolling/FunctionTemplates.scala

src/main/scala/inox/solvers/unrolling/LambdaTemplates.scala

...cala/inox/solvers/unrolling/QuantificationTemplates.scala

...main/scala/inox/solvers/unrolling/TemplateGenerator.scala