Skip to main content

Restrictive Formula based Model Counting


rfb_mc is a python package that implements SMT model counting using restrictive formulas.

Release files for rfb-mc 0.0.23

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for rfb-mc 0.0.23
File Size Uploaded
rfb_mc-0.0.23.tar.gz 30.0 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for rfb-mc 0.0.23
File Interpreter ABI Platform
rfb_mc-0.0.23-py3-none-any.whl Python 3 none any Details

Total release size: 69.1 kB

Release files / rfb_mc-0.0.23.tar.gz

Download URL rfb_mc-0.0.23.tar.gz
Size 30.0 kB
Tags Source
SHA-256 checksum
How to use checksums
66704643a19021606eb1ae5e210e75f21dfd9f49b8282cf8f0913a31ffd6954f
BLAKE2b-256 checksum
How to use checksums
350e1f7feea2bf43c36aa65e1d7f501e8978f06df9e76474b1414d1df68a1eee
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/4.0.2 CPython/3.10.4

Release files / rfb_mc-0.0.23-py3-none-any.whl

Download URL rfb_mc-0.0.23-py3-none-any.whl
Size 39.0 kB
Tags Python 3
SHA-256 checksum
How to use checksums
7cff58505772bddcd2c8c962373d6c1aeb0582ab000ffdbc070b94f064ad7fa7
BLAKE2b-256 checksum
How to use checksums
0b432f8842eacb32e1b347ecce9209cc3b80a29929c12001f9af7bc3a71d9d2b
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/4.0.2 CPython/3.10.4
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page