Big news! Sonar has entered a definitive agreement to acquire Tidelift!

rfb-mc
Release 0.0.23

Performs model counting using restrictive formulas

Homepage PyPI Python

License: MIT
Install: pip install rfb-mc==0.0.23

Documentation

Restrictive Formula based Model Counting

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

Dependencies: 0
Dependent packages: 0
Dependent repositories: 0
Total releases: 23
Latest release: Jul 29, 2023
First release: Feb 1, 2021
Stars: 0
Forks: 0
Watchers: 1
Contributors: 1
Repository size: 143 KB
SourceRank: 8

Releases

0.0.23: Jul 29, 2023
0.0.22: May 9, 2021
0.0.21: May 8, 2021
0.0.20: May 8, 2021
0.0.19: May 7, 2021
0.0.18: May 7, 2021
0.0.17: May 7, 2021
0.0.16: May 6, 2021
0.0.15: May 5, 2021
0.0.14: May 5, 2021

See all 23 releases

Contributors

See all contributors

Login to resync this project