3 ms·
I want C++ to have a built in SMT solver expressive enough that it can do concepts and a whole lot more. Maybe a new keyword constrain?
by crb002 11y ago
I want C++ to have a built in SMT solver expressive enough that it can do concepts and a whole lot more. Maybe a new keyword constrain?
- bjz_ 11y agoSurely you could just write the SMT solver in templates, right? ;)