A solver for logic programs with linear constraints over integers.
https://anaconda.org/potassco/clingcon/badges/version.svg
https://anaconda.org/potassco/clingcon/badges/latest_release_date.svg
https://anaconda.org/potassco/clingcon/badges/latest_release_relative_date.svg
https://anaconda.org/potassco/clingcon/badges/platforms.svg
https://anaconda.org/potassco/clingcon/badges/license.svg
https://anaconda.org/potassco/clingcon/badges/downloads.svg