leo-sorting Build Guide To compile this Leo program, run: leo build To test this Leo program, run: leo test Development To output the number of constraints, run: leo build -d