Infrastructure Specification Algorithm demo for REPPAR workshop