Alternatives and similar repositories for logicng-rs

Users that are interested in logicng-rs are comparing it to the libraries listed below

• vectorgrp / bazel-rules
  Vector Bazel Rules and Toolchains
  ☆12Updated 3 weeks ago
• vectorgrp / sil-kit-adapters-qemu
  A collection of software to connect QEMU images to the Vector SIL Kit
  ☆13Updated this week
• eclipse-kiso-testing / kiso-testing-python-uds
  kiso-testing-python-uds
  ☆11Updated 3 weeks ago
• eclipse-openxilenv / openxilenv
  openxilenv
  ☆14Updated 3 weeks ago
• eclipse-opendut / opendut
  Test Electronic Control Units around the world in a transparent network.
  ☆32Updated last week
• eclipse-tractusx / industry-core-hub
  Eclipse Tractus-X Industry Core Hub [IC-Hub] - The KIT/Use Case Speedway
  ☆13Updated this week
• eclipse-tractusx / portal-backend
  Portal Backend
  ☆12Updated this week
• eclipse-ankaios / ankaios
  Eclipse Ankaios provides workload and container orchestration for automotive High Performance Computing (HPC) software.
  ☆79Updated last week
• vectorgrp / sil-kit-adapters-tap
  A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit
  ☆11Updated this week
• vectorgrp / ci-siltest-demo
  ☆11Updated last week
• eclipse-kiso-testing / kiso-testing
  ☆42Updated this week
• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated last month
• learn-safran-navigation-timing / skydel-plug-ins
  ☆11Updated last month
• eclipse-tractusx / puris
  Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management
  ☆15Updated this week
• COVESA / ifex-viewer
  The IFEX Viewer is a web component designed to display API specifications created with the Interface Exchange Framework (IFEX).
  ☆20Updated last week
• vectorgrp / sil-kit-fmu-importer
  C#-based FMU Importer for SIL Kit
  ☆14Updated last month
• w3c / automotive-viss2
  ☆10Updated last year
• eclipse-velocitas / vehicle-app-python-template
  Vehicle App template for Python
  ☆18Updated last month
• eclipse-leda / leda-contrib-self-update-agent
  Eclipse Leda - Self Update Agent (SUA)
  ☆14Updated last year
• eclipse-uprotocol / up-cpp
  uProtocol Language Specific Library for C++
  ☆25Updated 3 weeks ago
• modelica / ssp-ls-traceability
  Prototyping of an SSP Traceability Layered Standard
  ☆14Updated last month
• eclipse-sdv-blueprints / fleet-management
  A close to real-life showcase for truck fleet management where trucks run an SDV software stack so that logistics fleet operators can man…
  ☆21Updated 4 months ago
• nxp-auto-linux / meta-alb
  Automotive Linux BSP Yocto Layer
  ☆10Updated 3 weeks ago
• vectorgrp / xcp-lite
  XCP for Rust
  ☆17Updated 3 weeks ago
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆21Updated 2 weeks ago
• DLR-FT / ModelBasedSTPA
  ☆10Updated last month
• elisa-tech / BASIL
  Software Quality Management Tool
  ☆33Updated last week
• COVESA / uservices
  uServices - Open Vehicle Interfaces
  ☆13Updated last year
• eclipse-score / score
  Score project main repository
  ☆62Updated this week
• ultimate-comparisons / ultimate-comparison-framework
  The base of all ultimate-comparisons. Follow the README and create your own ultimate comparison.
  ☆17Updated 4 years ago