After loading the JudgeIt library, the demonstrations seatsdemo, probdemo, distreportdemo and svsumdemo are available through the command demo.