booleworks / logicng-rsLinks
LogicNG for Rust
☆11Updated last week
Alternatives and similar repositories for logicng-rs
Users that are interested in logicng-rs are comparing it to the libraries listed below
Sorting:
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆14Updated last week
- Documentation - Eclipse Leda provides a Yocto-based build setup for SDV.EDGE components☆20Updated 2 years ago
- Test Electronic Control Units around the world in a transparent network.☆36Updated this week
- openxilenv☆17Updated last week
- Vector Bazel Rules and Toolchains☆14Updated last week
- kiso-testing-python-uds☆10Updated 5 months ago
- A collection of software to connect QEMU images to the Vector SIL Kit☆14Updated 2 months ago
- d-EVD-dual-electric-vehicle-dataset☆11Updated 5 months ago
- Zenoh Flow examples☆18Updated 2 years ago
- ☆15Updated 2 weeks ago
- A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit☆11Updated last week
- Eclipse Ankaios provides workload and container orchestration for embedded devices like automotive HPCs.☆113Updated last week
- Portal Backend☆11Updated last week
- 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 month
- Automotive Linux BSP Yocto Layer☆11Updated 2 months ago
- SETLevel: OSI / FMI compliant radar or lidar sensor system model, depending on parametrization.☆11Updated last year
- uServices - Open Vehicle Interfaces☆13Updated last year
- ☆42Updated 2 weeks ago
- ☆12Updated last week
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆20Updated 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
- ☆10Updated last month
- ☆11Updated last month
- Vehicle App template for Python☆19Updated 6 months ago
- ☆11Updated last year
- A formal model of the FMI specification in VDM☆14Updated 6 months ago
- C#-based FMU Importer for SIL Kit☆21Updated 2 weeks ago
- Backend and Storages for zenoh using RocksDB☆15Updated this week
- Vehicle Edge is a software stack, which acts as an interface between vehicle specific data sources and vehicle agnostic applications☆17Updated 4 years ago
- 🚗 Classic Diagnostic Adapter 🏥☆19Updated this week