https://github.com/c-cube/smtlib-utils

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
https://github.com/c-cube/smtlib-utils

menhir ocaml parser smt2 smtlib

Last synced: 3 months ago
JSON representation

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

• Host: GitHub
• URL: https://github.com/c-cube/smtlib-utils
• Owner: c-cube
• License: bsd-2-clause
• Created: 2019-11-05T20:54:04.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2024-04-16T03:54:42.000Z (9 months ago)
• Last Synced: 2024-04-20T00:54:17.690Z (9 months ago)
• Topics: menhir, ocaml, parser, smt2, smtlib
• Language: SMT
• Homepage: https://c-cube.github.io/smtlib-utils/
• Size: 3.62 MB
• Stars: 5
• Watchers: 4
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Smtlib-utils [![Build](https://github.com/c-cube/smtlib-utils/actions/workflows/main.yml/badge.svg)](https://github.com/c-cube/smtlib-utils/actions/workflows/main.yml)

Parser for [SMTLIB2]([200~http://smtlib.cs.uiowa.edu/), in OCaml, along

with some utilities for my own usage. It depends on menhir.

For a more advanced parser that is spec-compliant, see [Dolmen](https://github.com/Gbury/dolmen/).

## Documentation

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

## License

This code is free, under the BSD license.