Home » io.github.modelsvgu » SQL2MSFOL

SQL2MSFOL

SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).
LicenseApache 2.0
Tagsgithubsql
Ranking
#561204in MvnRepository
HomePage https://github.com/MoDELSVGU/SQL2MSFOL 🔍 Inspect URL
Links

Latest Versions

1 versions →
Version ▼VulnerabilitiesUsagesDate
1.0.x
1.0.0
0
Jul 13, 2023
1 versions →