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.0
Downloads last day:
140
Downloads last week:
2,432
Downloads last month:
6,839