alpertarhan/pi-smart-compact

Verification-oriented smart compaction extension for the Pi…