package syguslib-utils

  1. Overview
  2. No Docs
SyGuS Lib parser and utils

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. V
    Victor Nicolet

Maintainers

  1. V
    victor.nicolet@pm.me

Sources

0.1.tar.gz
md5=de39b5e5e17f117298b0a05742a02049
sha512=d3fe43d1c76223c41f5894544c1f564ba1082aae72dd58085b60b1562048399e3971d0cbaad56f8d61bcfb35aaaca7b3eda8ace5111b233eaca4e46f004b825a

Description

SyGuS Language Standard v2.1 parser with utils for using SyGuS solvers.

Published: 15 Dec 2021

Dependencies (12)

  1. core >= "v0.14.0" & < "v0.15"
  2. sexplib >= "v0.14.0" & < "v0.15"
  3. stdio >= "v0.14.0" & < "v0.15"
  4. parsexp >= "v0.14.0" & < "v0.15"
  5. odoc >= "1.5"
  6. lwt_ppx >= "2.0"
  7. lwt >= "5.4.0"
  8. getopt >= "20120615"
  9. fmt >= "0.8.8"
  10. fileutils >= "0.6"
  11. base >= "v0.14.0" & < "v0.15"
  12. dune >= "2.9"

Dev Dependencies

None

Used by

None

Conflicts

None