About Anaconda Help Download Anaconda
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

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 9 months ago 99 main
conda 593.6 kB | linux-64/minisat-plus-1.0-0.tar.bz2  10 years and 9 months ago 90 main

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