gowthamk/Z3MLton

A CIL extension to generate MLton FFI interface for Z3 SMT C APIs

GitHub repository with 5 stars and 0 forks.

Language: Standard ML

Open provider repository