liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf.conf

name: liquid-fixpoint
version: 0.6.0.1
id: liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf
key: liquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf
license: BSD3
copyright: 2010-17 Ranjit Jhala, University of California, San Diego.
maintainer: jhala@cs.ucsd.edu
homepage: https://github.com/ucsd-progsys/liquid-fixpoint
synopsis: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
description:
    This package is a Haskell wrapper to the SMTLIB-based
    Horn-Clause/Logical Implication constraint solver used
    for Liquid Types.
    .
    The package includes:
    .
    1. Types for Expressions, Predicates, Constraints, Solutions
    .
    2. Code for solving constraints
    .
    Requirements
    .
    In addition to the .cabal dependencies you require
    .
    - A Z3 (<http://z3.codeplex.com>) or CVC4 (<http://cvc4.cs.nyu.edu>) binary.
category: Language
author: Ranjit Jhala, Niki Vazou, Eric Seidel
exposed: True
exposed-modules:
    Language.Fixpoint.Types.Names Language.Fixpoint.Types.Errors
    Language.Fixpoint.Types.Config Language.Fixpoint.Types.Visitor
    Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Spans
    Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Refinements
    Language.Fixpoint.Types.Substitutions
    Language.Fixpoint.Types.Environments
    Language.Fixpoint.Types.Constraints
    Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Solutions
    Language.Fixpoint.Types.Utils Language.Fixpoint.Types
    Language.Fixpoint.Graph.Types Language.Fixpoint.Graph.Reducible
    Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition
    Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph
    Language.Fixpoint.Defunctionalize Language.Fixpoint.Smt.Types
    Language.Fixpoint.Smt.Bitvector Language.Fixpoint.Smt.Theories
    Language.Fixpoint.Smt.Serialize Language.Fixpoint.Smt.Interface
    Language.Fixpoint.Minimize Language.Fixpoint.Solver
    Language.Fixpoint.Parse Language.Fixpoint.SortCheck
    Language.Fixpoint.Misc Language.Fixpoint.Utils.Progress
    Language.Fixpoint.Utils.Files
    Language.Fixpoint.Solver.GradualSolution
    Language.Fixpoint.Solver.Solution Language.Fixpoint.Solver.Worklist
    Language.Fixpoint.Solver.Monad Language.Fixpoint.Solver.TrivialSort
    Language.Fixpoint.Solver.UniqifyKVars
    Language.Fixpoint.Solver.UniqifyBinds
    Language.Fixpoint.Solver.Eliminate
    Language.Fixpoint.Solver.Instantiate
    Language.Fixpoint.Solver.Sanitize
    Language.Fixpoint.Utils.Statistics
    Language.Fixpoint.Solver.GradualSolve
    Language.Fixpoint.Solver.Solve
abi: 
trusted: False
import-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build
library-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build
dynamic-library-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build
data-dir: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint
hs-libraries: HSliquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf
depends:
    ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1
    ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY
    async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK
    attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4 base-4.9.1.0
    bifunctors-5.4.1-LZeQTL0Uaws6v2aJY5STuc binary-0.8.3.0
    boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1
    cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e
    cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1
    deepseq-1.4.2.0 directory-1.3.0.0
    dotgen-0.4.2-BZVF2GHTiQa3V3DtnOX8Xh
    fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz
    fgl-visualize-0.1.0.1-GczPFReGtq8B1TZwh6G6nq
    filemanip-0.3.6.3-39GGNCiHahb1wSL6fkG6wy filepath-1.4.1.1
    ghc-prim-0.5.0.0 hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x
    intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx
    located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3
    mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6
    parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx
    parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3 process-1.4.3.0
    syb-0.6-IcoSwlPi2Nx4zSqMmorFPS text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR
    text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1
    transformers-0.5.2.0
    unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o
haddock-interfaces: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/doc/html/liquid-fixpoint/liquid-fixpoint.haddock
haddock-html: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/doc/html/liquid-fixpoint