prodigy.analysis.equivalence

Equivalence Checking

This module performs equivalence checks on two probabilistic programs.

Modules