boltzmann-brain: Boltzmann sampler compiler for combinatorial systems.

[ bsd3, library, math, program ] [ Propose Tags ]

Boltzmann Brain is a combinatorial system sampler compiler. Using an easy and intuitive specification input representing a combinatorial system, Boltzmann Brain constructs a working, self-contained module implementing a dedicated singular, rejection-based Boltzmann sampler with some additional control over the constructor frequencies in the generated structures.

Versions [faq] 1.3.1.3, 1.4
Dependencies array (>=0.5.1), base (>=4.7 && <5), boltzmann-brain, containers (>=0.5.6), haskell-src-exts (==1.17.1), hmatrix (>=0.18.0.0), megaparsec (>=5.2.0), mtl (>=2.2.1), multiset (>=0.3.3), process (>=1.4.3.0) [details]
License BSD-3-Clause
Copyright 2018 Maciej Bendkowski
Author Maciej Bendkowski
Maintainer maciej.bendkowski@tcs.uj.edu.pl
Category Math
Home page https://github.com/maciej-bendkowski/boltzmann-brain
Source repo head: git clone https://github.com/maciej-bendkowski/boltzmann-brain
Uploaded by mbendkowski at Thu May 31 14:06:19 UTC 2018
Distributions NixOS:1.4
Executables bb
Downloads 185 total (19 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2018-05-31 [all 2 reports]

Modules

  • Data
    • Boltzmann
      • Data.Boltzmann.Compiler
        • Haskell
          • Data.Boltzmann.Compiler.Haskell.Algebraic
          • Data.Boltzmann.Compiler.Haskell.Helpers
          • Data.Boltzmann.Compiler.Haskell.Rational
      • Internal
        • Data.Boltzmann.Internal.Annotations
        • Data.Boltzmann.Internal.Parser
      • Data.Boltzmann.System
        • Data.Boltzmann.System.Errors
        • Data.Boltzmann.System.Jacobian
        • Data.Boltzmann.System.Oracle
        • Data.Boltzmann.System.Parser
        • Data.Boltzmann.System.Tuner
        • Data.Boltzmann.System.Warnings

Downloads

Maintainer's Corner

For package maintainers and hackage trustees