search

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

Use yices-smt2 binary to fix support for Yices #42

Open tchajed opened 1 year ago

tchajed commented 1 year ago

I don't know when this changed, but yices has a custom command language while yices-smt2 supports SMT-LIB commands. One of the tests also relies on model generation, which has to be turned on explicitly.

I'm using Yices 2.6.4.