Skip to content

Latest commit

 

History

History
23 lines (16 loc) · 530 Bytes

CHANGES.md

File metadata and controls

23 lines (16 loc) · 530 Bytes

Changes

clingcon 5.2.1

  • add option --enable-python
  • fix clingcon_configure to have an effect (#102)
  • fix multi-shot solving (#104)
  • fix parsing of numbers (#107)

clingcon 5.2.0

  • add support for ASPIF parsing

clingcon 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

clingcon 5.0.0

  • initial release