prbnmcn-proptest

Property-based test helpers for prbnmcn packages
Description
Install
Documentation github.com Changelog MIT License Edit opam file
Published
23 Aug 2021
Authors
Maintainers
Sources
0.0.1.tar.gz
md5=4160cc9b984a44befbff68077db66fb7 sha512=7dfe58a4bf3d275ac46f3cb414f298a635886dae76427ecbfc944675e971b73fda9f89dec42342b263d386d3008b1ad4d4b339b720008c7c3bb5b71ea6a898ae
Dependencies
odoc with-doc
zarith >= "1.12"
crowbar >= "0.2"
prbnmcn-basic-structures = "0.0.1"
ocaml >= "4.12.0"
dune >= "2.8"
Reverse Dependencies
prbnmcn-linalg