minisat (math/minisat) Add to my watchlist

Minimalistic SAT solver

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

Version: 2.2.0 License: MIT GitHub
Maintainers No Maintainer
Categories science math
Homepage http://minisat.se/
Platforms darwin
Variants
  • universal (Build for multiple architectures)

"minisat" depends on

lib (1)
build (1)

Ports that depend on "minisat"

No ports


Port Health:

Loading Port Health

Installations (30 days)

3

Requested Installations (30 days)

2