About Anaconda Help Download Anaconda

MiniSat+ is a two-week hack done to enable Pseudo-Boolean constraints in MiniSat.

Label Latest Version
main 1.0

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