Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

krr
IDP-Z3

I

IDP-Z3

Project information

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

3,795 Commits
30 Branches
41 Tags

README
LICENSE
CHANGELOG
GitLab Pages

Created on

March 04, 2019

Copy SSH clone URLgit@gitlab.com:krr/IDP-Z3.git
Copy HTTPS clone URLhttps://gitlab.com/krr/IDP-Z3.git