- add option `--enable-python` - fix `clingcon_configure` to have an effect (102) - fix multi-shot solving (104) - fix parsing of numbers (107)
5.2.0
- add support for ASPIF parsing
5.1.0
- improve translation of linear constraints (73) - fix incremental minimization (77) - fix enumeration of optimal models (28) - enumerate all models if there is minimize directive (69) - various bugs are fixed by updating to clingo 5.5.1