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.10.tar.gz
(27.1 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.10-py3-none-any.whl
(34.2 kB
view details)
File details
Details for the file rfb_mc-0.0.10.tar.gz.
File metadata
- Download URL: rfb_mc-0.0.10.tar.gz
- Upload date:
- Size: 27.1 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 |
efbbbf8c886fadfcb51bfd153f3cf97a69e4fba8ce19be16e43269a5a95290ce
|
|
| MD5 |
d676c3144baeba2f0c3de61cb1c197d4
|
|
| BLAKE2b-256 |
8801167298498c825a0337f46fedb8985e3087b4f53dfd585f1f820d8875a035
|
File details
Details for the file rfb_mc-0.0.10-py3-none-any.whl.
File metadata
- Download URL: rfb_mc-0.0.10-py3-none-any.whl
- Upload date:
- Size: 34.2 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 |
99cfbd9f0e65b8d54bea997f70c43c1ea69f688c759d250efabb1d8829e02b18
|
|
| MD5 |
d0bf159699ec5679a3d364654a742e92
|
|
| BLAKE2b-256 |
1509b0e8602b3196cc8fa1cd233d55770a682d1d69cde913c58983bc4b459085
|
