package smtlib-utils

  1. Overview
  2. Docs
Parser for SMTLIB2

Install

Dune Dependency

github.com Readme License Edit opam file Versions (6)

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

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

Description

Tags

SMTLIB smt2 parse logic

Published: 24 Mar 2021

README

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.

Dependencies (5)

  1. ocaml >= "4.03.0"
  2. menhir build & < "20211215"
  3. result
  4. base-bytes
  5. dune >= "1.1"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None