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

v0.16.2 update dep requirements and fix CI #37

Closed AdrienChampion closed 2 years ago

AdrienChampion commented 2 years ago

covers #36, thanks @Dylan-DPC 😸

Dylan-DPC commented 2 years ago

yes it is all good :)