GitHub repository: sthiele/iggy
Primary language: Rust
Description: Influence graph analysis, consistency check, diagnosis, repair and prediction