Webinar: Workbrew: Secure the software your company runs

Homebrew catalog

Formula

cryptominisat

Advanced SAT solver

View on formulae.brew.sh

Version: 5.17.0
License: MIT
Homepage: https://www.msoos.org/cryptominisat5/
Installs (30 days): 81

brew install cryptominisat

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing