Badges | Anaconda.org

asmeurer / packages / minisat-plus

0

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

Click on a badge to see how to embed it in your web page

https://anaconda.org/asmeurer/minisat-plus/badges/version.svg

https://anaconda.org/asmeurer/minisat-plus/badges/latest_release_date.svg

https://anaconda.org/asmeurer/minisat-plus/badges/latest_release_relative_date.svg

https://anaconda.org/asmeurer/minisat-plus/badges/platforms.svg

https://anaconda.org/asmeurer/minisat-plus/badges/license.svg

https://anaconda.org/asmeurer/minisat-plus/badges/downloads.svg