Closed soulne4ny closed 11 years ago
Currently --min-atoms and --max-atoms work only for formulas with no parenthesis.
--min-atoms
--max-atoms
Successor to #37.
The other way is to drop --min-atoms and --max-atoms.
Currently
--min-atoms
and--max-atoms
work only for formulas with no parenthesis.Successor to #37.