Content
The `*.tar.gz` file contains the source code.
The `*.whl` file is a python module installation file that can be installed via `pip install aspmc-1.0.0-py-none-any.whl`.
Changelog
- new parser
- new modes:
* map
* meu
* smproblog
- new solvers:
* sharpsat-td ( + live)
* d4
- added documentation
- added unittests
- new treedecomposer (flow_cutter_v2017)
- more cycle breakings:
* binary
* lin zhao (approximately)
* none
- more semirings