hoice

An ICE-based predicate synthesizer for Horn clauses.

---

Project maintained by hopv Hosted on GitHub Pages — Theme by mattgraham

hoice is Copyright The University Of Tokyo. It is developed by the Kobayashi Laboratory directed by Naoki Kobayashi and licensed under the Apache 2 license.

Developer(s):

• Adrien Champion (main developer)