Closed paf31 closed 8 months ago
This generates predicates in conjunctive normal form:
(p_1_1 OR ... OR p_1_n) AND ... AND (p_m_1 OR ... OR p_m_n)
where m, n <= complexity, where complexity is controlled via the CLI using -x, -xx, -xxx, ...
m, n <= complexity
complexity
-x, -xx, -xxx, ...
complexity defaults to 1.
This generates predicates in conjunctive normal form:
(p_1_1 OR ... OR p_1_n) AND ... AND (p_m_1 OR ... OR p_m_n)
where
m, n <= complexity
, wherecomplexity
is controlled via the CLI using-x, -xx, -xxx, ...
complexity
defaults to 1.