GitHub repository: ucb-bar/maltese-smt
Primary language: Scala
Created: 2021-04-20T17:04:42Z
Description: A scala SMT library focused on arrays, bitvectors and uninterpreted functions.