Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / gipsyh / rIC3
A high-performance IC3/PDR algorithm implementation in Rust.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gipsyh%2FrIC3
Stars: 4
Forks: 0
Open Issues: 0
License: gpl-3.0
Language: Rust
Repo Size: 656 KB
Dependencies:
41
Created: over 1 year ago
Updated: 12 days ago
Last pushed: 19 days ago
Last synced: 19 days ago
Topics: formal-verification, ic3, model-checking, pdr-algorithm
Files
Loading...
Readme
Loading...
Dependencies
Cargo.toml
cargo
Cargo.lock
cargo
- anstream 0.6.4
- anstyle 1.0.4
- anstyle-parse 0.2.2
- anstyle-query 1.0.0
- anstyle-wincon 3.0.1
- cc 1.0.83
- cfg-if 1.0.0
- clap 4.4.6
- clap_builder 4.4.6
- clap_derive 4.4.2
- clap_lex 0.5.1
- cmake 0.1.50
- colorchoice 1.0.0
- getrandom 0.2.10
- heck 0.4.1
- itoa 1.0.9
- libc 0.2.149
- ppv-lite86 0.2.17
- proc-macro2 1.0.69
- quote 1.0.33
- rand 0.8.5
- rand_chacha 0.3.1
- rand_core 0.6.4
- ryu 1.0.15
- serde 1.0.189
- serde_derive 1.0.189
- serde_json 1.0.107
- strsim 0.10.0
- syn 2.0.38
- unicode-ident 1.0.12
- utf8parse 0.2.1
- wasi 0.11.0+wasi-snapshot-preview1
- windows-sys 0.48.0
- windows-targets 0.48.5
- windows_aarch64_gnullvm 0.48.5
- windows_aarch64_msvc 0.48.5
- windows_i686_gnu 0.48.5
- windows_i686_msvc 0.48.5
- windows_x86_64_gnu 0.48.5
- windows_x86_64_gnullvm 0.48.5
- windows_x86_64_msvc 0.48.5