iscar-ucm / xdevs
xDEVS: A cross-platform Discrete EVent System simulator
☆11Updated 7 months ago
Alternatives and similar repositories for xdevs:
Users that are interested in xdevs are comparing it to the libraries listed below
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆102Updated 2 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra☆11Updated last week
- Simulus - A Discrete-Event Simulator in Python☆10Updated 4 months ago
- ☆9Updated last week
- ☆11Updated 2 years ago
- The Simulation Manager is a library for enabling reproducible scientific simulations.☆10Updated last year
- ☆14Updated 3 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 6 months ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 7 months ago
- Automated Controller Synthesis☆15Updated 6 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated 2 weeks ago
- Adaptive stress testing of black-box systems within POMDPs.jl☆16Updated last year
- Parallel SAT Solver☆10Updated 7 years ago
- a list of StrongAI related resources.☆10Updated 2 years ago
- Simple SAT solver with CDCL implemented in Python☆16Updated 2 years ago
- BuDDy BDD package (with CMake support)☆12Updated 11 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated this week
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- A linearizability checker for concurrent data structures☆11Updated last year
- A Mathematica Package for Cooperative Game Theory☆12Updated 10 months ago
- Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl☆16Updated 8 months ago
- A package for compositional system analysis and design☆21Updated last month
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 5 months ago
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Updated 8 months ago
- Repository for the HARDENS project☆23Updated 3 months ago
- ☆15Updated last year
- CDCL SAT-solver for GPUs☆11Updated 7 years ago
- a lightweight implementation of Cartesian genetic programming with symbolic regression in mind.☆23Updated 5 years ago
- ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …☆8Updated 8 years ago
- Counterexample-Driven Genetic Programming☆17Updated 2 years ago