copilot-libraries-4.8: Libraries for the Copilot language.

Copyright | (c) 2011 National Institute of Aerospace / Galois Inc.
Safe Haskell | Safe-Inferred
Language | Haskell2010

Copilot.Library.Libraries

Description

This is a convenience module that re-exports a useful subset of modules from `copilot-library`. Not all modules are exported due to name clashes (e.g., in temporal logics implementations).

# Documentation

module Copilot.Library.Clocks

module Copilot.Library.LTL

module Copilot.Library.PTLTL

module Copilot.Library.Statistics

module Copilot.Library.RegExp

module Copilot.Library.Utils

module Copilot.Library.Voting

module Copilot.Library.Stacks