Advanced SAT solver with CLI interface. Available on Homebrew and apt.
brew install cryptominisat
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.