Hi, Is it possible to add various constraints, such as:
An exact number of variables in the formula.
An exact number of constants in the formula.
An exact formula size.
Can these constraints be applied simultaneously to achieve precise control over the generated solutions? Thanks