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.20.tar.gz
(29.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.20-py3-none-any.whl
(36.9 kB
view details)
File details
Details for the file rfb_mc-0.0.20.tar.gz.
File metadata
- Download URL: rfb_mc-0.0.20.tar.gz
- Upload date:
- Size: 29.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 |
1bd4f83ae36965a2930509ea6c7bd0e0c009f285bf02fbf61314da5bbefbe318
|
|
| MD5 |
513c5debe8709223b65f67cfe3a579a8
|
|
| BLAKE2b-256 |
57082f6cf4a326356c92bdff6b7b158965e13d5da73eb81fcbdcc93264dfcb08
|
File details
Details for the file rfb_mc-0.0.20-py3-none-any.whl.
File metadata
- Download URL: rfb_mc-0.0.20-py3-none-any.whl
- Upload date:
- Size: 36.9 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 |
b08265b32814b520f7d32a7b0999d65d3348e19469ae6d019a81aa197807f84c
|
|
| MD5 |
05cb4c193dd4e0450fb36f4a2556dfae
|
|
| BLAKE2b-256 |
0c43941cfc6e4c95113af51bb4f605f0155fdd713fdc72df616a57d1c4a16287
|
