package Snowflake

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

Install

Dune Dependency

Authors

Maintainers

Sources

snowflake-v0.02.03.tar.gz
sha256=7e752144fb5aba697aace6d3ed26479ab7f2d9cc42b9ab15f380123d8cf7b515
md5=e47bee554483743d5991ddaab3fa4483

Description

Published: 05 Sep 2022

Dependencies (5)

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

Dev Dependencies

None

Used by (1)

  1. DAGaml

Conflicts

None

OCaml

Innovation. Community. Security.