Skip to content

Releases: neuppl/rsdd-ocaml

0.1.0

06 Oct 18:40
@mattxwang mattxwang
0.1.0
e3711a8
This commit was signed with the committer’s verified signature.
mattxwang Matt Wang
GPG key ID: 0C8DB42BF157DEAB
Learn about vigilant mode.
Compare
Choose a tag to compare
0.1.0 Pre-release
Pre-release

Our initial release! This matches 0.1.0 on opam.

This initial release supports basic BDD operations and WMC over reals/expected utility.

In future releases, expect:

  • a changelog!
  • documentation!
  • more tests :)
Assets 2
Loading