Badges | Anaconda.org

conda-forge / packages / cryptominisat

0

An advanced SAT Solver https://www.msoos.org

copied from cf-staging / cryptominisat

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

https://anaconda.org/conda-forge/cryptominisat/badges/version.svg

https://anaconda.org/conda-forge/cryptominisat/badges/latest_release_date.svg

https://anaconda.org/conda-forge/cryptominisat/badges/latest_release_relative_date.svg

https://anaconda.org/conda-forge/cryptominisat/badges/platforms.svg

https://anaconda.org/conda-forge/cryptominisat/badges/license.svg

https://anaconda.org/conda-forge/cryptominisat/badges/downloads.svg