IMP Logics
Last Published: 2024-04-23
|
Version: 2.0.0
IMP Logics
Project Documentation
Project Information
Dependencies
Dependency Information
Distribution Management
About
Licenses
Plugin Management
Plugins
Source Code Management
Summary
Team
Project Reports
About IMP Logics
IMP Logics is a metamodel for expressing logical formulas based on Datalog.
