search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Added a view to the terms of `TermNames` instead of the names #767

Closed Tomaqa closed 2 months ago