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.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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct