@hackage language-sygus0.1.1.3

A parser and printer for the SyGuS 2.0 language.

Categories
- Language
License
BSD-3-Clause
Maintainer
william.hallahan@yale.edu
Links
Versions
- 0.1.1.3 Mon, 10 Apr 2023
- 0.1.1.2 Tue, 11 Oct 2022
- 0.1.1.1 Fri, 11 Oct 2019
- 0.1.1.0 Fri, 11 Oct 2019
- 0.1.0.0 Fri, 11 Oct 2019

A parser and printer for the SyGuS 2.0 language. https://sygus.org/assets/pdf/SyGuS-IF_2.0.pdf

Installation
In your cabal file:
Dependencies (4)
- array >=0.3 && <0.6
- base >=4.10 && <=4.18
- text >=1.1 && <2.1
- hashable >=1.2.6.0 && <=1.4.1.0
Dependents (1)
@hackage/g2