Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / potassco / anthem
🎼 Translate answer set programs to first-order theorem prover language
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/potassco%2Fanthem
Stars: 7
Forks: 5
Open Issues: 5
License: mit
Language: Rust
Repo Size: 1.37 MB
Dependencies: pending
Created: over 7 years ago
Updated: 6 months ago
Last pushed: over 3 years ago
Last synced: 4 days ago
Topics: asp, first-order-logic, theorem-proving, verification
Files
Loading...
Readme
Loading...