package Snowflake

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

Install

Dune Dependency

gitlab.com Edit opam file Versions (5)

Authors

  1. J
    Joan Thibault <joan.thibault@ens-rennes.fr>

Maintainers

  1. J
    Joan Thibault <joan.thibault@ens-rennes.fr>

Sources

snowflake-v0.02.tar.gz
md5=a30c74d6514127a4d379e13dfa33eb20

Description

Published: 24 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