workcraft/workcraft

workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/commands/InputPropernessVerificationCommand.java