search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
114 stars 43 forks source link

TermTranslator enhancements. #331

Open kunalsheth opened 1 year ago

kunalsheth commented 1 year ago

Hello! These are some niche edge cases open for future enhancement.