Simple Vacuity Checking Added#1

Open

petercfontana wants to merge 15 commits intojkeiren:masterfrom

petercfontana:master

Commits on Jan 21, 2020

Added vacuity command-line options (implementation in progress)
petercfontana
committed

Commits on Feb 1, 2020

First iteration of simple vacuity checking (in progress) added
petercfontana
committed

Commits on Apr 5, 2020

Added Vacuity Examples
petercfontana
committed

Commits on Jun 7, 2020

Commits on Jun 8, 2020