Source Package ocaml-psmt2-frontend

Subpackages

• ocaml-psmt2-frontend - Parser and typechecker for an extension of SMT-LIB 2
• ocaml-psmt2-frontend-devel - Development files for ocaml-psmt2-frontend
• ocaml-psmt2-frontend-docs - Documentation for ocaml-psmt2-frontend