c-cube/smbc

Experimental model finder/SMT solver for functional programming.

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

话题：computational · formal-methods · logic · model · ocaml · sat · solver

在 GitHub 上查看原仓库