search

tweag / simple-smt

BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

A new interface accommodating in-process backends #1

Open facundominguez opened 1 year ago