@hackage / DCFL

Communication Free Learning-based constraint solver

Latest0.1.6.0

Dependencies

library:DCFL (5 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version: >=1.2
- License: BSD-3-Clause
@hackage / parallel Parallel programming library
- Version: >=3.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.6 && <=5.0
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version: >=1.2
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version: >=1.0
- License: BSD-3-Clause