@hackage simple-ltl dependencies

5 results

library:simple-ltl (1 dependencies)

@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