The following are some SETL2 programs with sample inputs. All programs below have no warranties, and should be used at one's own risk.

To run SETL2 at NYU, see the following instructions. Anyone who wants to run the program at a site that doesn't have SETL2 can install SETL2 easily by following the instructions found here.

Selected Programs