Placidus Checker

This version is able to verify the following properties with speed and accuracy:
Conflicts, Redundancies and Reachability.