About Anaconda Help Download Anaconda

A solver for logic programs with linear constraints over integers.

copied from cf-staging / clingcon
Label Latest Version
main 5.2.1

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy