HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"name": "sbsat",
"portdir": "science/sbsat",
"version": "2.7b",
"license": "Permissive",
"platforms": "freebsd darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://gauss.ececs.uc.edu/franco_files/sbsat.html",
"description": "A state-based Satisfiability solver.",
"long_description": "SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisfiability problem.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [
{
"name": "snc",
"github": "nerdling",
"ports_count": 157
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-9.0",
"help2man"
]
}
],
"depends_on": []
}