Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Prodigy 0.1.3
Prodigy 0.1.3
  • Prodigy web GUI and analysis API
  • Command-line interface
  • pGCL grammar
  • API reference
    • prodigy
      • prodigy.analysis
        • prodigy.analysis.ai_candidates
        • prodigy.analysis.analyzer
        • prodigy.analysis.config
        • prodigy.analysis.equivalence
          • prodigy.analysis.equivalence.equivalence_check
        • prodigy.analysis.evtinvariants
          • prodigy.analysis.evtinvariants.heuristics
            • prodigy.analysis.evtinvariants.heuristics.positivity
              • prodigy.analysis.evtinvariants.heuristics.positivity.dominat_root_rejection
              • prodigy.analysis.evtinvariants.heuristics.positivity.heuristics_factory
              • prodigy.analysis.evtinvariants.heuristics.positivity.individual_sum_terms
              • prodigy.analysis.evtinvariants.heuristics.positivity.iterate_terms
              • prodigy.analysis.evtinvariants.heuristics.positivity.logical
              • prodigy.analysis.evtinvariants.heuristics.positivity.polynomial_positivity
              • prodigy.analysis.evtinvariants.heuristics.positivity.positivity
              • prodigy.analysis.evtinvariants.heuristics.positivity.rational_function
            • prodigy.analysis.evtinvariants.heuristics.strategies
            • prodigy.analysis.evtinvariants.heuristics.templates
              • prodigy.analysis.evtinvariants.heuristics.templates.polynomial_function
              • prodigy.analysis.evtinvariants.heuristics.templates.rational_function
              • prodigy.analysis.evtinvariants.heuristics.templates.templates
              • prodigy.analysis.evtinvariants.heuristics.templates.templates_factory
          • prodigy.analysis.evtinvariants.invariant_synthesis
          • prodigy.analysis.evtinvariants.invariant_verification
        • prodigy.analysis.exceptions
        • prodigy.analysis.independence
          • prodigy.analysis.independence.independence
          • prodigy.analysis.independence.utils
        • prodigy.analysis.instructionhandler
          • prodigy.analysis.instructionhandler.assignment_handler
          • prodigy.analysis.instructionhandler.function_handler
          • prodigy.analysis.instructionhandler.instruction_handler
          • prodigy.analysis.instructionhandler.ite_handler
          • prodigy.analysis.instructionhandler.loop_handler
          • prodigy.analysis.instructionhandler.observe_handler
          • prodigy.analysis.instructionhandler.probchoice_handler
          • prodigy.analysis.instructionhandler.program_info
          • prodigy.analysis.instructionhandler.query_handler
          • prodigy.analysis.instructionhandler.queryblock_handler
          • prodigy.analysis.instructionhandler.sample_handler
          • prodigy.analysis.instructionhandler.while_handler
        • prodigy.analysis.loop_strategies
        • prodigy.analysis.lowerbounds
          • prodigy.analysis.lowerbounds.egcalc
          • prodigy.analysis.lowerbounds.explicit
          • prodigy.analysis.lowerbounds.ir
          • prodigy.analysis.lowerbounds.parameters
          • prodigy.analysis.lowerbounds.problem
          • prodigy.analysis.lowerbounds.sandwich
          • prodigy.analysis.lowerbounds.subinvariant
          • prodigy.analysis.lowerbounds.synthesis
        • prodigy.analysis.optimization
          • prodigy.analysis.optimization.gf_optimizer
          • prodigy.analysis.optimization.optimizer
        • prodigy.analysis.result
        • prodigy.analysis.session
        • prodigy.analysis.solver
          • prodigy.analysis.solver.mock_solver
          • prodigy.analysis.solver.smtz3_solver
          • prodigy.analysis.solver.solver
          • prodigy.analysis.solver.solver_type
          • prodigy.analysis.solver.sympy_solver
      • prodigy.cli
      • prodigy.distribution
        • prodigy.distribution.distribution
        • prodigy.distribution.exact_division
        • prodigy.distribution.fast_generating_function
        • prodigy.distribution.generating_function
        • prodigy.distribution.linear_guards
        • prodigy.distribution.symengine_distribution
      • prodigy.pgcl
        • prodigy.pgcl.ast
        • prodigy.pgcl.check
        • prodigy.pgcl.compiler
        • prodigy.pgcl.parser
        • prodigy.pgcl.pgcl_checks
        • prodigy.pgcl.pgcl_operations
        • prodigy.pgcl.pysmt
          • prodigy.pgcl.pysmt.context
          • prodigy.pgcl.pysmt.expr
        • prodigy.pgcl.substitute
        • prodigy.pgcl.util
          • prodigy.pgcl.util.lark_expr_parser
          • prodigy.pgcl.util.ref
      • prodigy.util
        • prodigy.util.color
        • prodigy.util.logger
        • prodigy.util.order
        • prodigy.util.plotter
      • prodigy.web
        • prodigy.web.app
        • prodigy.web.diagnostics
        • prodigy.web.examples
        • prodigy.web.jobs
        • prodigy.web.requests
Back to top
View this page
Edit this page

prodigy.analysis.evtinvariantsΒΆ

Modules

heuristics

invariant_synthesis

invariant_verification

Next
prodigy.analysis.evtinvariants.heuristics
Previous
prodigy.analysis.equivalence.equivalence_check
Copyright © 2026, Lutz Klinkenberg
Made with Sphinx and @pradyunsg's Furo