edu.upc.fib.inlab.imp.kse.imp-logics 2.0.0 Latest version

Install 1/2: Add this to pom.xml:

Learn more about Maven or Gradle


          
  
      
            <dependency>

                <groupId>edu.upc.fib.inlab.imp.kse</groupId>

                <artifactId>imp-logics</artifactId>

                <version>2.0.0</version>

            </dependency>

Install 2/2: Run via command line


          
  
      
            $ mvn install

About this package

    IMP Logics is a metamodel for expressing logical formulas based on Datalog.

Details

inLabFIB
April 23, 2024
a6e6f53
2.0.0
4 dependencies
MIT License

Assets

Download activity

Total downloads 0
Last 30 days 0
Last week 0
Today 0

Recent versions

2.0.0Apr 23, 2024