Metadata-Version: 2.1
Name: rfb_mc
Version: 0.0.22
Summary: Performs model counting using restrictive formulas
Home-page: https://github.com/Meterius/rfb-mc
Author: Jonah Leander Hoff
Author-email: jonah-hoff@outlook.com
License: UNKNOWN
Project-URL: Bug Tracker, https://github.com/Meterius/rfb-mc/issues
Description: # Restrictive Formula based Model Counting
        
        <hr />
        
        rfb_mc is a python package that implements SMT model counting using restrictive formulas.
Platform: UNKNOWN
Requires-Python: >=3.6
Description-Content-Type: text/markdown
