GitHub repository: khei4/hoice
Description: An ICE-based predicate synthesizer for Horn clauses.