- add option
--enable-python
- fix
clingcon_configure
to have an effect (#102) - fix multi-shot solving (#104)
- fix parsing of numbers (#107)
- add support for ASPIF parsing
- 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
- initial release