name: rfb-mc
description: Performs model counting using restrictive formulas
license_spdx: MIT
version: 0.0.19
spec_version: 1.0
home_url: https://github.com/Meterius/rfb-mc
news_url: https://libraries.io/pypi/rfb-mc/versions.atom
date: 2021-05-07
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/rfb-mc?number=0.0.19
vcs_tool: git
vcs_repository: https://github.com/Meterius/rfb-mc
vcs_branch: master
