The MacPorts Project

Skip to Content

MacPorts Portfiles

The MacPorts Project currently distributes 23389 ports, organized across 90 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2019-10-23 at 15:31:17 UTC.

Or view the complete ports list (23389 ports).

Query Results

1 Portfile Selected

clasp 3.3.4 (source)
A conflict-driven nogood learning answer set solver
Licenses: MIT
Maintained by:
Categories: math
Platforms: darwin
Dependencies: cmake
Variants: debug universal