py-typedlogic/py-typedlogic

Title: py-typedlogic

Description: Logic plus python types

GitHub Organization: https://github.com/py-typedlogic/py-typedlogic

Schema URL: https://py-typedlogic.github.io

License: MIT

Domain: Computer Science

Status: active

Topics: answer-set-programming, clif, clingo, common-logic, datalog

Contacts: py-typedlogic