https://gitlab.com/krr/IDP-Z3

IDP-Z3 is a software collection implementing the Knowledge Base paradigm using the FO(.) language.
https://gitlab.com/krr/IDP-Z3

Last synced: 6 months ago
JSON representation

IDP-Z3 is a software collection implementing the Knowledge Base paradigm using the FO(.) language.

• Host: gitlab.com
• URL: https://gitlab.com/krr/IDP-Z3
• Owner: krr
• License: other
• Created: 2019-03-04T13:35:06.850Z (about 6 years ago)
• Default Branch: main
• Last Synced: 2024-10-18T15:30:22.188Z (7 months ago)
• Stars: 13
• Forks: 13
• Open Issues: 78

Awesome Lists containing this project

• awesome-python-htmx - IDP-Z3 - Flask-a9bbcc?style=flat&logo=flask&logoColor=black" alt="Flask"></a><br/> (Projects Using PyHAT (or similar) 🏗️ / Tools <a name = "tools"></a>)