hopv / hoiceLinks

An ICE-based predicate synthesizer for Horn clauses.
50Updated last year

Alternatives and similar repositories for hoice

Users that are interested in hoice are comparing it to the libraries listed below

Sorting: