homepage: ''
changelog-type: markdown
hash: 68af058da872f8fbdb2596a1dfabd7e8da5a0e6603b065e0a497cc759b40dfff
test-bench-deps:
  language-sygus: -any
  base: ! '>=4.10 && <4.13'
  text: -any
  tasty-hunit: ! '>=0.10'
  tasty: ! '>=1.0'
  deepseq: ! '>=1.4 && <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.3'
  array: ! '>=0.5 && <0.6'
all-versions:
- 0.1.0.0
author: Bill Hallahan
latest: 0.1.0.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: 834f737d0c29ac29cda68399d4e99ddcd81317ec28838f4bf588c0387b8324dc
test-bench-deps:
  language-sygus: -any
  base: ! '>=4.10 && <4.13'
  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.3'
  array: ! '>=0.3 && <0.6'
all-versions:
- 0.1.0.0
author: Bill Hallahan
latest: 0.1.0.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

Update from Hackage at 2019-10-11T00:39:42Z
Update from Hackage at 2019-10-11T00:39:42Z
