PyPI page
Home page
Author:
None
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.3.2
Downloads last day:
69
Downloads last week:
1,110
Downloads last month:
5,197