PyPI page
Author:
Mate Soos
License:
MIT License
Copyright (c) 2018 Meel Group
Kuldeep Meel
Mate Soos
Daniel Freemont
and others
Permission is hereby granted, free...
Summary:
Bindings to ApproxMC, an approximate model counter
Latest version:
4.4.0
Downloads last day:
152
Downloads last week:
1,685
Downloads last month:
4,209
7-day smoothing