> Besides, the 32-clause limitation may need to go in the future and it > would be simpler to fix it in one place.
What is the reason for the 32-clause limitation? Thanks, Scott
> Besides, the 32-clause limitation may need to go in the future and it > would be simpler to fix it in one place.
What is the reason for the 32-clause limitation? Thanks, Scott