Text this: Non-redundant implicational base of many-valued context using SAT