Alternatives and similar repositories for JBotSim

Users that are interested in JBotSim are comparing it to the libraries listed below

• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• gbagan / gmark
  ☆43Updated 2 years ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• timtadh / parsemis
  The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…
  ☆44Updated 5 years ago
• SigmaX / LightBDD
  A simple Binary Decision Diagram library in Java
  ☆15Updated 7 years ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆56Updated last year
• jin-guo / COMP598_Fall2020
  ☆12Updated 3 years ago
• eth-sri / eth-sri.github.io
  SRI Group Website
  ☆10Updated last week
• unitn-sml / wmi-pa
  Efficient WMI via SMT-Based Predicate Abstraction
  ☆16Updated this week
• xcsp3team / ACE
  Constraint Solver ACE
  ☆31Updated last month
• wenxiwang / neuroback
  ☆9Updated 6 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆63Updated 4 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 6 months ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• srlearn / srlearn
  ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.
  ☆31Updated 2 years ago
• mdgeorge4153 / jalgebra
  An abstract algebra library for Java.
  ☆8Updated 4 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• jonas-lj / Ruffini
  Library for computations over abstract algebraic structures such as finite fields and polynomial rings.
  ☆7Updated 8 months ago
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 5 years ago
• michaeldorner / CEP-Systems
  An overview of Complex Event Processing Systems
  ☆28Updated 3 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_PyAlgo
  The collection of Context-Free Path Querying algorithms
  ☆13Updated 2 months ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• lenskit / seedbank
  Manage seeds across multiple Python RNGs.
  ☆13Updated 9 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 4 months ago
• rinde / RinSim
  RinSim is a logistics simulator written in Java. RinSim supports (de)centralized algorithms for dynamic pickup-and-delivery problems (PDP…
  ☆112Updated last year