The MacPorts Project

Skip to Content


MacPorts Portfiles

The MacPorts Project currently distributes 23198 ports, organized across 89 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2020-02-23 at 22:15:14 UTC.


Or view the complete ports list (23198 ports).


Query Results

1 Portfile Selected

sbsat 2.7b (source)
A state-based Satisfiability solver.
Licenses: Permissive
Maintained by:
Categories: science math
Platforms: darwin freebsd
Dependencies: help2man
Variants: jeremy universal