@hackage / g2q

G2Q allows constraint programming, via writing Haskell predicates.

Latest0.1.0.0

Dependencies

library:g2q (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.10 && <4.11
- License: BSD-3-Clause
@hackage / g2 Haskell symbolic execution engine.
- Version: >=0.1.0.1 && <0.1.1.0
- License: BSD-3-Clause