package colibrilib-why3

You can search for identifiers within the package.

in-package search v0.2.0

A Why3 library of domains and propagators

Install

dune-project

Dependency

colibri.frama-c.com Readme Edit opam file Versions (1)

Authors

F

François Bobot

Maintainers

F

François Bobot

Sources

colibri2-0.6.tbz

sha256=6974bb0397202647ede57771e3294b89d89971c3e0740e4adc8a8bd8264ab4a3

sha512=870532a98f2c0e8e732277d66baa6fd75c6d42344ed2ec54e1b489456641c13af4d70bae61b4b8b2da1f54781425eca514bac03f72526302e38c1c53fdd667bd

doc/index.html

colibrilib-why3