baptiste-fourmont/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

语言：OCaml · GitHub 星标：2 · Fork：0

话题：invariants · ocaml · smt2 · smtlib

在 GitHub 上查看原仓库