The CafeSat SMT solver for Scala