GitHub repository: naokikob/hoice
Primary language: Rust
Description: An ICE-based predicate synthesizer for Horn clauses.