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.9.tar.gz
(26.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.9-py3-none-any.whl
(33.0 kB
view details)
File details
Details for the file rfb_mc-0.0.9.tar.gz.
File metadata
- Download URL: rfb_mc-0.0.9.tar.gz
- Upload date:
- Size: 26.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.9.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
b597234a9bf4992b8f994ad7f7a23443cd943c7e3e0639ddc1412d7f8e9c31f4
|
|
| MD5 |
b36e2ea2bfa7062bb82902e4c5d29dd8
|
|
| BLAKE2b-256 |
5961a560e967a33b31f463d3acb0b536c24771ca3708a5870276a3adc2d97e11
|
File details
Details for the file rfb_mc-0.0.9-py3-none-any.whl.
File metadata
- Download URL: rfb_mc-0.0.9-py3-none-any.whl
- Upload date:
- Size: 33.0 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.9.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
511ec9fa7583a29c29c1751db40f75ef65813610bd84669b5f4d583c862c567d
|
|
| MD5 |
24654868b54c80dcbcecf25657b590be
|
|
| BLAKE2b-256 |
4e2eefed113ffec2c8d690e23ff7c2006271d9faf451522ba7f390098d025a78
|
