search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Merge `Logic` and `Theory` classes #704

Open Tomaqa opened 6 months ago