IMP Logics
Last Published: 2026-04-07
|
Version: 2.3.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.
