package Snowflake

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

Install

Dune Dependency

Authors

Maintainers

Sources

snowflake-v0.02.02.tar.gz
sha256=e20bafade35de72f731f3a2f4abe7eb3940da3beca6c6bf7b720386f5b66949e
md5=a03dcf6502bab8a8eca0a07b02e23562

Description

Published: 16 Oct 2021

Dependencies (5)

  1. ocamlfind build
  2. ocamlbuild build
  3. mlbdd >= "0.7.2"
  4. GuaCaml >= "0.03" & < "0.05"
  5. ocaml >= "4.08"

Dev Dependencies

None

Used by (1)

  1. DAGaml

Conflicts

None

OCaml

Innovation. Community. Security.