Performs model counting using restrictive formulas
Project description
Restrictive Formula based Model Counting
rfb_mc is a python package that implements SMT model counting using restrictive formulas.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
rfb_mc-0.0.23.tar.gz
(30.0 kB
view hashes)
Built Distribution
rfb_mc-0.0.23-py3-none-any.whl
(39.0 kB
view hashes)