Support for Dotnet bindings

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

368 stars 46 forks source link

Support for Dotnet bindings #373

Closed ptr1120 closed 2 years ago

ptr1120 commented 3 years ago

Hello,

I am interested in using Yices2 in Dontnet (C#). As I see you already have bindings for various languages. Are there any plans to support the usage of Yices2 in Dotnet?

Best regards Peter

ianamason commented 3 years ago

I don't think we have any in house knowledge about dotnet unfortunately. My guess is they wouldn't be too hard to write by following along what the Java bindings do. But no expertise means no plans.