liuxfiu / simulusLinks
Simulus - A Discrete-Event Simulator in Python
☆11Updated 8 months ago
Alternatives and similar repositories for simulus
Users that are interested in simulus are comparing it to the libraries listed below
Sorting:
- Integration and Supervisory control of Autonomous Robots☆19Updated last week
- xDEVS: A cross-platform Discrete EVent System simulator☆11Updated 10 months ago
- Simple SAT solver with CDCL implemented in Python☆17Updated 2 years ago
- A PyTorch implementation of the paper https://arxiv.org/abs/1709.04875☆10Updated 4 years ago
- Parallel SAT Solver☆10Updated 7 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆28Updated 2 years ago
- Benchmarking PyTorch 2.0 different models☆21Updated 2 years ago
- Evolutionary Algorithms implementations, for various (discrete & continuous) optimization problems, including for autonomous agent contro…☆13Updated 10 months ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆19Updated 2 years ago
- [CF ’20] Verified Instruction-Level Energy Consumption Measurement for NVIDIA GPUs☆15Updated 4 years ago
- Produce intelligence by means of natural selection without objective/reward optimization☆14Updated 3 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆12Updated 6 years ago
- Python-based object-oriented discrete-event simulation tool for complex, data-driven modeling☆33Updated 4 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 2 years ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 4 months ago
- Implementing SVM layer for classification using Keras Module☆7Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Small world networks in Cellular Automata☆18Updated 4 years ago
- A peper list for machine learning models solving combinatorial problems, NP-hard problems and problems in graphs.☆13Updated 4 years ago
- ☆11Updated 3 years ago
- a collection of Gymnasium environments for saturation provers☆22Updated last month
- ☆32Updated last year
- DRL models for graph partitioning and sparse matrix ordering.☆31Updated last year
- Cliff walking reinforcement learning example, with a variety of RL algorithms☆13Updated last year
- Building on the MLFlow toolset this project aims to extend the functionality for MLFlow, increase the automation and therefore reduce the…☆14Updated 2 years ago
- Distributed Tensorflow, Keras and PyTorch on Apache Spark/Flink & Ray☆29Updated last month
- Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization☆27Updated 3 weeks ago
- Hypercube Viewer is a program that draws a hypercube of 3 to 10 dimensions.☆13Updated 3 months ago