Home » io.github.modelsvgu » SQL2MSFOL » 1.0.0 » Changes

SQL2MSFOL » 1.0.0

SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).
Version1.0.0compared with
No previous version available

No previous version available to compare.