package Snowflake

You can search for identifiers within the package.

in-package search v0.2.0

Snowflake : A Generic Symbolic Dynamic Programming framework

Install

Dune Dependency

gitlab.com Edit opam file Versions (5)

Authors

J

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

Maintainers

J

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

Sources

snowflake-v0.02.03.tar.gz

sha256=7e752144fb5aba697aace6d3ed26479ab7f2d9cc42b9ab15f380123d8cf7b515

md5=e47bee554483743d5991ddaab3fa4483

Description

Published: 05 Sep 2022

Dependencies (5)

ocamlfind build
ocamlbuild build
mlbdd >= "0.7.2"
GuaCaml >= "0.05"
ocaml >= "4.13"

Dev Dependencies

None

Used by (1)

DAGaml

Conflicts

None

On This Page

Description
Dependencies (5)
Dev Dependencies
Used by (1)
Conflicts