Home » io.github.modelsvgu » SQL2MSFOL » Badges

SQL2MSFOL

SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).

Generate a badge for this artifact.

Preview
Badge preview
Type:
Type:
Badges are served from badges.mvnrepository.com.