|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
#include <concepts.h>
Check if the type T supports the arithmetic operations +, -, *, / and the comparison operators <, >, <=, >=
T | type to check |