GitHub repository: pingbird/dz3
Primary language: Dart
Description: High level bindings to the Z3 SMT solver.