All Git Users → hopv

1 open source projects by hopv

[ Open user page on Github ]

An ICE-based predicate synthesizer for Horn clauses.

✭ 41

rust SMT verify inference ice horn-clauses

1-1 of 1 user projects