kind2-mc/kind2 — pull request #150 by jbodeen (2014-10-01 16:32:46+00:00)
Title: Inductive Generalization in PDR

Implemented basic generalization in PDR. The implemented function of interest is "trim_clause"