Simple sort

Number of constraints:

10499

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