booleworks / logicng-rsLinks
LogicNG for Rust
☆11Updated 2 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:
- Zenoh Flow examples☆16Updated last year
- openxilenv☆12Updated 2 weeks ago
- Test Electronic Control Units around the world in a transparent network.☆30Updated last week
- Eclipse Ankaios provides workload and container orchestration for automotive High Performance Computing (HPC) software.☆74Updated last week
- Vector Bazel Rules and Toolchains☆11Updated 2 weeks ago
- Server implementation for the Sprotty diagramming framework☆24Updated 6 months ago
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated 5 months ago
- Kanto☆21Updated 7 months ago
- Repository for the HARDENS project☆24Updated 5 months ago
- Maestro a Co-Simulation Orchestration Engine☆20Updated last week
- Collection of Docker images for MBSE. Most images are based on Eclipse Capella.☆20Updated last week
- A collection of software to connect QEMU images to the Vector SIL Kit☆14Updated 2 months ago
- The Next Generation Logic Library☆142Updated 6 months ago
- zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed st…☆12Updated last week
- Score project main repository☆29Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆32Updated this week
- A formal model of the FMI specification in VDM☆14Updated 4 months ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆31Updated this week
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆76Updated last week
- Concurrent decision diagram framework written in Rust☆61Updated 3 weeks ago
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated last year
- A list of references to the most popular research methodologies in software engineering and business information systems.☆16Updated 2 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Treat Requirements Like Code☆73Updated 2 months ago
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆108Updated last year
- Main repository of the GreatSPN framework☆46Updated 3 months ago
- COMODO2 is a Java tool that allows to transform a UML/SysML model into code for different software platforms.☆25Updated last year
- A .NET implementation of the OMG SysML2 specification☆19Updated 3 months ago
- The front-end of the INTO-CPS tool chain☆21Updated last month