Youssef Mahmoud

Results 1 issues of Youssef Mahmoud

I am trying to learn a program that does addition by succession, and I am trying to limit the number of rules generated (which is supposedly what max_clauses(N) is for)...

enhancement