Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / my0n / Z3Sorter
Test project demonstrating some usages of Z3
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/my0n%2FZ3Sorter
Stars: 0
Forks: 0
Open Issues: 3
License: mit
Language: C#
Repo Size: 31.3 KB
Dependencies:
7
Created: over 2 years ago
Updated: over 2 years ago
Last pushed: about 2 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
- FluentAssertions 6.5.1
- Microsoft.NET.Test.Sdk 17.0.0
- Microsoft.Z3 4.8.17
- NSubstitute 4.3.0
- coverlet.collector 3.1.2
- xunit 2.4.1
- xunit.runner.visualstudio 2.4.3