1. Overview
  2. Docs
SyGuS Lib parser and utils

Install 

dune-project
 Dependency

github.com Readme 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.

Added to opam-repository:

README

syguslib-utils

This project is an s-expression based parser as well as serializer for the SyGuS Language Standard v2.1. It also contains utilities to call solvers from OCaml programs.

syguslib-utils is written in OCaml and relies on the opam package manager. To install all the dependencies, type opam install . --deps-only from the root.

To build the project:

dune build

and to run the tests:

dune runtest

Usage

A quick way of parsing a SyGuS input is to use sexp_parse in the Parser module, for example:

program = Syguslib.Parser.sexp_parse "test/inputs/mpps_1.sl"

The documentation can be generated using dune build @doc.

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

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building syguslib-utils with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.1 (this version) good good n/a n/a n/a
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure