changed default yices 2 binary name

kino-mc / rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Apache License 2.0

65 stars 14 forks source link

Closed AdrienChampion closed 4 years ago