Formally verified-correct n-sided die roller
Project description
Zar: formally verified-correct n-sided die roller.
import zarpy
to use the package.
seed()
initializes the PRNG.
build(n)
builds and caches an n-sided die to be used by subsequent calls for generating samples.
single()
produces a single sample using the cached sampler.
many(n)
produces n samples using the cached sampler.
many_entropy(n)
produces n (x, b) pairs where x is a sample and b is the number of uniform random bits used to obtain x.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
zarpy-0.9.0.tar.gz
(3.2 kB
view hashes)
Built Distribution
zarpy-0.9.0-py3-none-any.whl
(2.6 kB
view hashes)