About Anaconda Help Download Anaconda

A solver for logic programs with linear constraints over integers.

Label Latest Version
main 5.2.1
dev 5.2.1
dev-20 5.3.0

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy