Heuristic to pick term with fewest new variables in extraction of implicants
Merge pull request #39 from chsticksel/kind2-server

Heuristic to pick term with fewest new variables in extraction of implicants