package Snowflake

  1. Overview
  2. Docs
Snowflake : A Generic Symbolic Dynamic Programming framework

Install

Dune Dependency

Authors

Maintainers

Sources

snowflake-v0.02.01.tar.gz
sha256=1d84f76514f460d9157738f0e7d42de5f931e830c45df3e54198d914e0660e68
md5=05a5fa1959105949eec4a79c5600638a

Description

Published: 07 Dec 2020

Dependencies (5)

  1. ocamlfind build
  2. ocamlbuild build
  3. mlbdd >= "0.7.2"
  4. GuaCaml = "0.02"
  5. ocaml >= "4.08"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.