Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "answer-set-programming" keyword

savan 0.3.5
core library for answer set navigation.
8 versions - Latest release: about 1 year ago - 2 dependent packages - 8.47 thousand downloads total - 1 stars on GitHub - 1 maintainer
fasb 0.2.9
fasb - faceted answer set browser
10 versions - Latest release: 9 months ago - 8.65 thousand downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
logic-programming 1 facet-reasoning 1