Constraints Demo 1 - COS301-SE-2026/Veritas-Lab GitHub Wiki Constraints The system should be developed with free, open source technologies.