A scala SMT library focused on arrays, bitvectors and uninterpreted functions. - View it on GitHub