GitHub / EthanJamesLew / lazy-sets-rs
Implementing the scalable symbolic-numeric set computations ideas of LazySets.jl in Rust
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EthanJamesLew%2Flazy-sets-rs
PURL: pkg:github/EthanJamesLew/lazy-sets-rs
Stars: 1
Forks: 0
Open issues: 0
License: gpl-3.0
Language: Rust
Size: 56.6 KB
Dependencies parsed at: Pending
Created at: about 2 years ago
Updated at: over 1 year ago
Pushed at: about 2 years ago
Last synced at: 4 days ago
Topics: convex-sets, overapproximating, reachability, set-operations
Loading...