booleworks / logicng-rsLinks
LogicNG for Rust
☆11Updated last month
Alternatives and similar repositories for logicng-rs
Users that are interested in logicng-rs are comparing it to the libraries listed below
Sorting:
- Vector Bazel Rules and Toolchains☆14Updated last month
- d-EVD-dual-electric-vehicle-dataset☆11Updated 4 months ago
- kiso-testing-python-uds☆10Updated 5 months ago
- A collection of software to connect QEMU images to the Vector SIL Kit☆14Updated last month
- Portal Backend☆12Updated last week
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆14Updated last week
- Eclipse Tractus-X Industry Core Hub [IC-Hub] - The KIT/Use Case Speedway☆15Updated 3 weeks ago
- openxilenv☆16Updated 3 weeks ago
- ☆12Updated 3 weeks ago
- Zenoh Flow examples☆18Updated 2 years ago
- A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit☆11Updated 2 months ago
- The Disclosure-CLI provides an easy way to access the public api of the FOSS Disclosure Portal. It is the recommended tool for external s…☆18Updated last week
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆20Updated this week
- Test Electronic Control Units around the world in a transparent network.☆34Updated this week
- A close to real-life showcase for truck fleet management where trucks run an SDV software stack so that logistics fleet operators can man…☆24Updated last month
- Automotive Linux BSP Yocto Layer☆10Updated last month
- The IFEX Viewer is a web component designed to display API specifications created with the Interface Exchange Framework (IFEX).☆24Updated this week
- uServices - Open Vehicle Interfaces☆13Updated last year
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Updated 3 years ago
- 🚗 Classic Diagnostic Adapter 🏥☆19Updated this week
- ☆42Updated this week
- Vehicle App template for Python☆19Updated 6 months ago
- Eclipse Ankaios provides workload and container orchestration for embedded devices like automotive HPCs.☆113Updated this week
- Collection of Docker images to run Capella, Papyrus, Eclipse or pure::variants in a container, either headless or with GUI.☆20Updated last month
- 👨💻 Hack the Truck! 🚚☆13Updated 3 years ago
- Eclipse Leda - Self Update Agent (SUA)☆15Updated last year
- A tool for turning mdbooks into slide shows☆17Updated 11 months ago
- ☆11Updated last year
- Vehicle Edge is a software stack, which acts as an interface between vehicle specific data sources and vehicle agnostic applications☆17Updated 4 years ago
- A formal model of the FMI specification in VDM☆14Updated 5 months ago