booleworks / logicng-rsLinks
LogicNG for Rust
☆11Updated 6 months ago
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…☆12Updated this week
- Vector Bazel Rules and Toolchains☆13Updated last week
- kiso-testing-python-uds☆11Updated 2 months ago
- openxilenv☆15Updated 2 weeks ago
- A collection of software to connect QEMU images to the Vector SIL Kit☆13Updated 2 weeks ago
- A formal model of the FMI specification in VDM☆14Updated 2 months ago
- ☆12Updated 2 weeks ago
- Test Electronic Control Units around the world in a transparent network.☆33Updated this week
- Zenoh Flow examples☆17Updated 2 years ago
- A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit☆11Updated last month
- Eclipse Ankaios provides workload and container orchestration for embedded devices like automotive HPCs☆82Updated this week
- SSP Layered Standard Traceability☆14Updated last month
- Portal Backend☆12Updated this week
- Maestro a Co-Simulation Orchestration Engine☆21Updated last month
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆15Updated this week
- ☆42Updated last week
- Eclipse Tractus-X Industry Core Hub [IC-Hub] - The KIT/Use Case Speedway☆14Updated this week
- A simple, fast and easy to use co-simulation engine.☆14Updated 4 months ago
- C#-based FMU Importer for SIL Kit☆15Updated 2 months ago
- The IFEX Viewer is a web component designed to display API specifications created with the Interface Exchange Framework (IFEX).☆24Updated last week
- FMU Manipulation Toolbox is a python library and applications which modify or create Functional Mock-up Units (FMU) without recompilati…☆17Updated this week
- The base of all ultimate-comparisons. Follow the README and create your own ultimate comparison.☆17Updated 4 years ago
- ☆10Updated last month
- A close to real-life showcase for truck fleet management where trucks run an SDV software stack so that logistics fleet operators can man…☆22Updated 5 months ago
- vehicle-app-cpp-sdk☆13Updated 2 months ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Updated 3 years ago
- The front-end of the INTO-CPS tool chain☆21Updated last week
- uServices - Open Vehicle Interfaces☆13Updated last year
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆33Updated this week
- A tool for turning mdbooks into slide shows☆17Updated 8 months ago