An ICE-based predicate synthesizer for Horn clauses.
Primary LanguageRustApache License 2.0Apache-2.0