Releases: aig-upf/tarski
Releases · aig-upf/tarski
Release 0.8.2
What's Changed
Full Changelog: v0.8.1...v0.8.2
Release 0.8.1
Release 0.8.0
What's Changed
- Test in travis under Python 3.9 by @gfrances in #104
- Added parsing for string problem and domains by @camcunningham in #109
- Added string model parsing in clingo wrapper by @camcunningham in #110
- Fix issue #114 by @gfrances in #115
- add additional whitespace pruning to atom parsing to fix #121 by @phoeft670 in #122
- Switch to clingo pypi package by @anubhav-cs in #123
- Fallback to gringo binary when clingo pypi package is unavailable by @anubhav-cs in #124
- Corrected the name of the WrapperClingo class member by @anubhav-cs in #125
- C-level output redirection on windows by @anubhav-cs in #126
- Ci improvements by @gfrances in #128
- Create Release 0.8 by @gfrances in #135
New Contributors
- @camcunningham made their first contribution in #109
- @phoeft670 made their first contribution in #122
Full Changelog: v0.7.0...v0.8.0