Minisatminisat Active


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
Open new issue
Homepage
http://minisat.se
Version
2.2.0
Source file
source file
Hits
24

Install Minisat

brew install minisat

Dependencies 0

This formula has no dependencies.