Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
Documents for various courses
Dashboard for viewing, requesting, and receiving test results.
Kodkod relational model finder
Multi-objective optimization problems, expressed as Alloy
Parent repo for moolloy.
Workers to run multi-objective problems