Skip to content

v5.2.1

Latest
Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 15 Feb 20:23
· 1 commit to master since this release
8c47655

Packages

Changes

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