package smtlib-utils

  1. Overview
  2. Docs
Parser for SMTLIB2

Install

Dune Dependency

github.com Readme Changelog BSD-2-Clause License Edit opam file Versions (6)

Authors

  1. S
    Simon Cruanes

Maintainers

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

Sources

smtlib-utils-0.5.tbz
sha256=40eb11f7ebbd05f32e67ea46cb5fdbc9092797ddbf7f92d0b0eb141e636f1742
sha512=0930b6022151c51490500d6f8d0fe014f6a3785631fcaeb9afbc22dfbf4589ba9de90fd981b7de857d44a885d8d11f89ca96cfa7fcf4e37d15985df94f311430

CHANGES.md.html

0.5

  • added bitvector support

  • added support for declare-datatype

0.4

  • remove dep on result

  • compat with more modern menhir

  • move to github actions