hopv/hoice

An ICE-based predicate synthesizer for Horn clauses.

语言：Rust · GitHub 星标：54 · Fork：11

话题：horn-clauses · ice · inference · verify

在 GitHub 上查看原仓库