homepage: ''
changelog-type: markdown
hash: 818a32658fbbc29b8d543435667aa75ad154045626cc3e1b3f9c6f835cb663b3
test-bench-deps:
  language-sygus: -any
  base: ! '>=4.10 && <=4.12'
  text: -any
  tasty-hunit: ! '>=0.10'
  tasty: ! '>=1.0'
  deepseq: ! '>=1.1 && <1.5'
maintainer: william.hallahan@yale.edu
synopsis: A parser and printer for the SyGuS 2.0 language.
changelog: |
  # Revision history for language-sygus

  ## 0.1.0.0  -- YYYY-mm-dd

  * First version. Released on an unsuspecting world.
basic-deps:
  base: ! '>=4.10 && <4.13'
  text: ! '>=1.1 && <1.4'
  array: ! '>=0.3 && <0.6'
all-versions:
- 0.1.0.0
- 0.1.1.0
author: Bill Hallahan
latest: 0.1.1.0
description-type: haddock
description: A parser and printer for the SyGuS 2.0 language.  <https://sygus.org/assets/pdf/SyGuS-IF_2.0.pdf>
license-name: BSD-3-Clause

homepage: ''
changelog-type: markdown
hash: 1fd8c3e4c3859c9bbc2a86d227bd4ec3c5dfd42b95c010f75a1703e1d5a0b500
test-bench-deps:
  language-sygus: -any
  base: ! '>=4.10 && <=4.12'
  text: -any
  tasty-hunit: ! '>=0.10'
  tasty: ! '>=1.0'
  deepseq: ! '>=1.1 && <1.5'
maintainer: william.hallahan@yale.edu
synopsis: A parser and printer for the SyGuS 2.0 language.
changelog: |
  # Revision history for language-sygus

  ## 0.1.0.0  -- YYYY-mm-dd

  * First version. Released on an unsuspecting world.
basic-deps:
  base: ! '>=4.10 && <4.13'
  text: ! '>=1.1 && <1.4'
  array: ! '>=0.3 && <0.6'
all-versions:
- 0.1.0.0
- 0.1.1.0
- 0.1.1.1
author: Bill Hallahan
latest: 0.1.1.1
description-type: haddock
description: A parser and printer for the SyGuS 2.0 language.  <https://sygus.org/assets/pdf/SyGuS-IF_2.0.pdf>
license-name: BSD-3-Clause

Update from Hackage at 2019-10-11T20:16:37Z
Update from Hackage at 2019-10-11T20:16:37Z
