/synthese-invariant

In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2

Primary LanguageOCaml

No issues in this repository yet.