Relations Evaluator is a program created for the quick evaluation of relations over a defined set.
⚠️ ** Not currently implemented **
example usage: reval "<relation tuples>" "<set>"
example output: reflexive transitive
kyperbelt/RelationsEvaluator
Program to quickly evaluate the relations over a set and lists its properties.
C++