depqbf

6.03

Solver for quantified boolean formulae (QBF)

Install

brew install depqbf

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	6.03	File SHA-256 `465635d639cb725cdb29df5409c43afe2a5d55e131cd13a7f0e0c92dc65347c8`
Apple Silicon	Tahoe	6.03	File SHA-256 `5494cf1ffc209c33da83751528490bb7b8324e9cfde890d66231916ffa9c9eb9`
Apple Silicon	Sequoia	6.03	File SHA-256 `77fb774ec31c1de16c6136751d66b3cb04d9a7bf0e2fb8c4e51a56db412310c4`
Apple Silicon	Sonoma	6.03	File SHA-256 `dce4afe9355597c29c7656a5fcdda35983fe58b95ae72e966a6967a0360dd9d1`
Apple Silicon	Ventura	6.03	File SHA-256 `221268b1bc924d55e1f8f3554b85f4ae91475792834f699217b03cce46ea63a3`
Apple Silicon	Monterey	6.03	File SHA-256 `204b1a36f581b9609dcf0a47c0778169d0f26748e6a5fd869a1e7bba826be6f8`
Apple Silicon	Big Sur	6.03	File SHA-256 `afc477a7b941f95abf0a3e7db86d60b2ee9ef9e8b2f4ecb84d84044a9dbb0bdf`
Intel	Sonoma	6.03	File SHA-256 `2417e97e2936f086ff114fd6658d2c717a2a26a6541ef2ab2108a82200e324ee`
Intel	Ventura	6.03	File SHA-256 `209da2f6f71ffd18105f99dd6333a0547865da8725e109138fe9e3e138b8300c`
Intel	Monterey	6.03	File SHA-256 `135536ee418fef5b3e8002301dca15913770d3b2d81c8b08b9bb2fef67bb56cc`
Intel	Big Sur	6.03	File SHA-256 `e86513b7cd6ad6ac68c7aa8a1738d8586fe6e20a7a46237dcbc3d54d735ff6d0`
ARM64	Linux	6.03	File SHA-256 `27916b378549105a9812407772165660f12c3ac27be9af6995fd09f5bee27827`
x86_64	Linux	6.03	File SHA-256 `2e13e19078a40264180e470c713e834493e8189f3b45a263318f17d1b4830f73`