We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the hoice wiki.
hoice
hoice is a Horn Clause ICE engine. It infers predicates verifying a set of horn clauses. It is developed by the Kobayashi Laboratory at The University of Tokyo.