Brewly
Formula

cryptominisat

5.16.0

Advanced SAT solver

Install

brew install cryptominisat

Details

Type
Formula
License
MIT
Tap
homebrew/core

Sources

Supported platforms

ArchitecturePlatformsVersionDownload
Apple SiliconGolden Gate5.16.0File
SHA-256a7816f28f00e59959221fcd33b7ff37867e54170d10a0a3c1bd60ae346ccf1cc
Apple SiliconTahoe5.16.0File
SHA-25698ebe46a40908ef24c9cf4441c0337c4e1179ddcae1741c4b8d7238b7ab5d586
Apple SiliconSequoia5.16.0File
SHA-256293d7bc4197647f06eef022efcc2e3ff59d621d0f2b601e201cec7468410f033
ARM64Linux5.16.0File
SHA-256e041606e2e6251b1ca3d1f3b320fe6ee01f34e3623593a4b875c8a607cba36ef
x86_64Linux5.16.0File
SHA-256a3e1534f5349db87df55327a06944d7332ad63eecc642a08a0d5809b994acef4

Dependencies

  • gmp

Package data

30-day installs
40
90-day installs
116
365-day installs
627