@hackage / language-sygus

A parser and printer for the SyGuS 2.0 language.

Latest0.1.1.3

Dependencies

library:language-sygus (4 dependencies)

@hackage / array Mutable and immutable arrays
- Version: >=0.3 && <0.6
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.1 && <2.2
- License: BSD-2-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version: >=1.2.6.0 && <=1.6.0.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.10 && <5
- License: BSD-3-Clause

test:test (6 dependencies)