    -- |
    -- Module: Libraries
    -- Description: Main import module for libraries
    -- Copyright: (c) 2011 National Institute of Aerospace / Galois, Inc.
    --
    -- 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).

    module Copilot.Library.Libraries (
        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
      ) where

    import Copilot.Library.Clocks
    import Copilot.Library.LTL
    import Copilot.Library.PTLTL
    import Copilot.Library.Statistics
    import Copilot.Library.RegExp
    import Copilot.Library.Utils
    import Copilot.Library.Voting
    import Copilot.Library.Stacks