package smtlib-utils

  1. Overview
  2. Docs
Parser for SMTLIB2

Install

Dune Dependency

Authors

Maintainers

Sources

v0.3.tar.gz
md5=c3ab27ea094abd7ce9ffa9cc6110fca5
sha512=aea21801afcce3519e85de22df15c50f11812aa556cf1f2b4b24bcd35f61d88e60ecf982339cd792abfa21976f5051d17ad555f8e501a71ee806b1fbc15ddf89

README.md.html

Smtlib_utils

Parser for SMTLIB2, in OCaml, along with some utilities for my own usage. It depends on menhir.

Documentation

See http://c-cube.github.io/smtlib-utils/

License

This code is free, under the BSD license.

OCaml

Innovation. Community. Security.