package Snowflake

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

Install 

dune-project
 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
sha256=a4b9a17b240ccc2583c4096ab70aec9afa0f9de6b4a9ff68ffa65432bea50b5a
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