Re: patch MAX_NUM_VAR in version 4.0.0

[Lars H. <lhe...@us...>]

 
> Perhaps the constant MAX_NUM_VAR could in fact be an option in the 
> configure/make process?
 
 Even better: make it runtime-configurable, or remove the limitation
 completely.