| Tag: asp 2 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: solver dependency-management clingo cli logic-programming constraint-solving declarative ai optimization | ||
| Package | Description | Version |
|---|---|---|
| aspcud ☆ formula | Package dependency solver | 1.9.6 |
| clingo ☆ formula | ASP system to ground and solve logic programs | 5.8.0 |