package Snowflake

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

Install

Dune Dependency

Authors

Maintainers

Sources

snowflake-v0.01.tar.gz
sha256=6ffb67b5c2a35d0200b94a466f168402eb522c7ea82ab3763a7b0fc25954094b
md5=697867153e965df5b314266152b16287

Description

Published: 05 Nov 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.