Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Dihfahsih1 / Distributed-Social-Network
Assignment Add the following to complete and execute the model 1. Write the following invariants: (20 marks) Each post is owned by at most one user A user cannot be his or her own friend Friendship is a symmetric relation Server capacity is positive Servers cannot exceed their capacity
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Dihfahsih1%2FDistributed-Social-Network
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Alloy
Repo Size: 9.13 MB
Dependencies:
0
Created: over 1 year ago
Updated: over 1 year ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Topics: alloy, alloy-analyzer
Files
No dependencies found