Minisatminisat


Description

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.

Extracted automatically from Minisat homepage
Homepage
http://minisat.se
Version
Unavailable

Install Minisat

brew install minisat

Dependencies0

This formula has no dependencies.