GitHub / py-typedlogic / py-typedlogic
Logic plus python types
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/py-typedlogic%2Fpy-typedlogic
Stars: 9
Forks: 1
Open issues: 1
License: mit
Language: Python
Size: 5.02 MB
Dependencies parsed at: Pending
Created at: 8 months ago
Updated at: 4 months ago
Pushed at: 2 months ago
Last synced at: 2 months ago
Topics: answer-set-programming, clif, clingo, common-logic, datalog, description-logic, linkml, logic, owl-dl, prolog, python, souffle, theorem-provers, z3
Loading...