kind2-mc/kind2 — pull request #188 by AdrienChampion (2014-12-05 00:29:26+00:00)
Title: Swpi configuration with additional options

Default configuration now has no path compression, no PDR, and two state invgen.

Added options for subsystem candidate term lifting and trivial invariant pruning.