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