Open Gauntlet173 opened 2 years ago
Currently we use the c_forall default flag for s(CASP). It might be worthwhile to investigate whether our use case makes it more reasonable to default to the sometimes over-inclusive all_c_forall by default.
Currently we use the c_forall default flag for s(CASP). It might be worthwhile to investigate whether our use case makes it more reasonable to default to the sometimes over-inclusive all_c_forall by default.