Matches in Secure Chain KG for { <https://pypi.org/project/verifai/2.1.0b1/> ?p ?o ?g. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2.1.0b1 license BSD-3-Clause.html @default.
- 2.1.0b1 url "https://github.com/BerkeleyLearnVerify/VerifAI" @default.
- 2.1.0b1 url "https://verifai.readthedocs.io" @default.
- 2.1.0b1 type SoftwareVersion @default.
- 2.1.0b1 dependsOn 1.3.30 @default.
- 2.1.0b1 dependsOn 1.13.0 @default.
- 2.1.0b1 dependsOn 0.18.3 @default.
- 2.1.0b1 dependsOn 0.14.1 @default.
- 2.1.0b1 dependsOn 0.10.2 @default.
- 2.1.0b1 dependsOn 3.10.1 @default.
- 2.1.0b1 dependsOn 0.1.7 @default.
- 2.1.0b1 dependsOn 2.8.8 @default.
- 2.1.0b1 dependsOn 1.26.4 @default.
- 2.1.0b1 dependsOn 2.6.1 @default.
- 2.1.0b1 dependsOn 3.0.0rc1 @default.
- 2.1.0b1 dependsOn 1.0.2 @default.
- 2.1.0b1 dependsOn 0.13.5 @default.
- 2.1.0b1 versionName "2.1.0b1" @default.