-- Initial mcmc-synthesis.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                mcmc-synthesis
version:             0.1.2.2
synopsis:            MCMC applied to probabilistic program synthesis

description:         A simple implementation of the ideas from "Stochastic Superoptimization" which uses a variant of Markov Chain Monte Carlo (MCMC) to synthesize programs based on a set of test cases.

                     "Stochastic Superoptimization": <http://cs.stanford.edu/people/eschkufz/research/asplos291-schkufza.pdf>

license:             GPL-3
license-file:        LICENSE
author:              Jessica Taylor <jessica.liu.taylor@gmail.com>, Tikhon Jelvis <tikhon@jelv.is>
maintainer:          Jessica Taylor <jessica.liu.taylor@gmail.com>
category:            Language
build-type:          Simple
cabal-version:       >=1.8

source-repository head
  type:                git
  location:            git://github.com/jacobt/mcmc-synthesis.git

library
  build-depends:       base >3 && <=5, MonadRandom ==0.1.*
  hs-source-dirs:      src
  exposed-modules:     Language.Synthesis.Distribution,
                       Language.Synthesis.MCMC,
                       Language.Synthesis.Mutations,
                       Language.Synthesis.Synthesis
  GHC-options:         -Wall