Download all versions of SQL2MSFOL JAR files with all dependencies
SQL2MSFOL from group io.github.modelsvgu (version 1.0.0)
SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).
Artifact SQL2MSFOL
Group io.github.modelsvgu
Version 1.0.0
Last update 13. July 2023
Tags: sql2msfol mapping sorted implementation msfol from statements logic many first order
Organization not specified
URL https://github.com/MoDELSVGU/SQL2MSFOL
License The Apache License, Version 2.0
Dependencies amount 3
Dependencies json-simple, datamodelj, sqlj,
There are maybe transitive dependencies!
Group io.github.modelsvgu
Version 1.0.0
Last update 13. July 2023
Tags: sql2msfol mapping sorted implementation msfol from statements logic many first order
Organization not specified
URL https://github.com/MoDELSVGU/SQL2MSFOL
License The Apache License, Version 2.0
Dependencies amount 3
Dependencies json-simple, datamodelj, sqlj,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy