Geeks
metakirby5
/
predicate-synthesis
Synthesis of refinement type predicates from Horn constraints.
MIT License
MIT
predicate-synthesis GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
predicate-synthesis
Synthesis of refinement type predicates from Horn constraints.