About Anaconda Help Download Anaconda

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

Type Size Name Uploaded Downloads Labels
conda 1.3 MB | linux-64/minisat-plus-1.0-1.tar.bz2  10 years and 8 months ago 99 main
conda 593.6 kB | linux-64/minisat-plus-1.0-0.tar.bz2  10 years and 8 months ago 90 main

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