TeamAmalgam/demo
Public repository.
Developer Profile
TeamAmalgam
Discovered public repositories for TeamAmalgam in the GitHub catalog.
TeamAmalgam/results
Public repository.
TeamAmalgam/moolloy
Parent repo for moolloy.
TeamAmalgam/documents
Documents for various courses
TeamAmalgam/test-models
Multi-objective optimization problems, expressed as Alloy
TeamAmalgam/worker
Workers to run multi-objective problems
TeamAmalgam/dashboard
Dashboard for viewing, requesting, and receiving test results.
TeamAmalgam/kodkod
Kodkod relational model finder