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.17.tar.gz
(22.7 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.17-py3-none-any.whl
(31.4 kB
view details)
File details
Details for the file rfb_mc-0.0.17.tar.gz.
File metadata
- Download URL: rfb_mc-0.0.17.tar.gz
- Upload date:
- Size: 22.7 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 |
af55b9f9221dc06fe8cb7089c70d5fc23f6cd05654c9326f232b3122348e650d
|
|
| MD5 |
bb40d9f900544203a54545ac2cd2d0a3
|
|
| BLAKE2b-256 |
d38b856b6850b23e092acc745c330c172e26a11c4b375d42836e42cebca7dde8
|
File details
Details for the file rfb_mc-0.0.17-py3-none-any.whl.
File metadata
- Download URL: rfb_mc-0.0.17-py3-none-any.whl
- Upload date:
- Size: 31.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 |
af100ed124ce20b57ac75185cee65c7c5aa8fb7dfc6dc63728432a72a9411e46
|
|
| MD5 |
c583896631b365d7abba525de7967055
|
|
| BLAKE2b-256 |
43703c8f7c3be6a737917fe469d1c0b692d4034b8e853caf76456ff1d06fee48
|