Top 9.3% on nuget.org
Top 3.8% downloads on nuget.org
Top 3.8% downloads on nuget.org
nuget.org : symbolica.abstraction
Package Description
Registry
-
Source
- JSON
purl: pkg:nuget/symbolica.abstraction
Keywords:
Symbolica
, Symbolic
, Execution
, symbolic
, symbolic-computation
, symbolic-execution
, testing
, testing-tool
, verification
License: MIT
Latest release: about 4 years ago
First release: about 4 years ago
Dependent packages: 2
Downloads: 181,185 total
Stars: 65 on GitHub
Forks: 6 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago
Loading...
Readme
Loading...