@hackage simple-ltl dependencies

9 results

library:simple-ltl (2 dependencies)

@haskell/deepseq

Deep evaluation of data structures

@haskell/base

Basic libraries

BSD-3-Clause>=4.9 && <5.0

test:test (4 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause>=4.9 && <5.0

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/simple-ltl

A simple LTL checker

benchmark:bench (3 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause>=4.9 && <5.0

@hackage/simple-ltl

A simple LTL checker

@hackage/criterion

Robust, reliable performance measurement and analysis