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.
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.14.tar.gz
(28.0 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
rfb_mc-0.0.14-py3-none-any.whl
(35.3 kB
view details)
File details
Details for the file rfb_mc-0.0.14.tar.gz.
File metadata
- Download URL: rfb_mc-0.0.14.tar.gz
- Upload date:
- Size: 28.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.8.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
423952e2b31f0562a68679630d802caec0eff42a9fa956d8f6659ea17acea109
|
|
| MD5 |
484a33b8af6832d4b97818c36c1df581
|
|
| BLAKE2b-256 |
b64f73572a66baf486600e652539acc612630589c25b578eb0fcb7956ec09f3b
|
File details
Details for the file rfb_mc-0.0.14-py3-none-any.whl.
File metadata
- Download URL: rfb_mc-0.0.14-py3-none-any.whl
- Upload date:
- Size: 35.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.8.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
915b10516a3c52024e46b6ce338436468194ef02567ec9c543ed031a4363c4ec
|
|
| MD5 |
f8ea43b9220ef1e4b4d0e194a2d9932a
|
|
| BLAKE2b-256 |
f756d8a903aa738ae9c6845879374a52b6be0905574765dd54901502d8dc229e
|
