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.16.tar.gz
(28.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.16-py3-none-any.whl
(35.4 kB
view details)
File details
Details for the file rfb_mc-0.0.16.tar.gz.
File metadata
- Download URL: rfb_mc-0.0.16.tar.gz
- Upload date:
- Size: 28.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 |
ab366287c64530cc5a01c9ebf332d959288b76db8d7775487cec7999c44240cf
|
|
| MD5 |
63071cb885626b2b27d1928465fba1e5
|
|
| BLAKE2b-256 |
58e445ace943c8be1357f34f2ffeb74b4c282273a55653cf569c8a972a4ec7c4
|
File details
Details for the file rfb_mc-0.0.16-py3-none-any.whl.
File metadata
- Download URL: rfb_mc-0.0.16-py3-none-any.whl
- Upload date:
- Size: 35.4 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 |
2e6b95191849d4d3520aca6d54acc8830f836b1874863b039de8cc09298d4638
|
|
| MD5 |
6c0d66b2031f4b1fd6a542539b60ce85
|
|
| BLAKE2b-256 |
a5e2cca6e60bc03252f5e3c5d9fc5b1fa171362f1b3292fde03147fe3e510f8c
|
