Home » io.github.modelsvgu » SQL2MSFOL » Versions

SQL2MSFOL

SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).
Version ▼VulnerabilitiesRepositoryUsagesDate
1.0.x
1.0.0Central
0
Jul 13, 2023