pub mod bisimilarity_kanellakis_smolka;
pub mod bisimilarity_paige_tarkan;

#[cfg(test)]
mod test_kenallakis_smolka;

#[cfg(test)]
mod test_paige_tarjan;