jbotsim / JBotSimLinks
JBotSim Core Files
☆25Updated 4 years ago
Alternatives and similar repositories for JBotSim
Users that are interested in JBotSim are comparing it to the libraries listed below
Sorting:
- ☆11Updated 4 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆62Updated 2 years ago
- 🌳 A collection of distributed graph algorithms, implemented in Python/DistAlgo☆67Updated 6 years ago
- 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 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- ☆20Updated 2 weeks ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 4 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 7 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆97Updated this week
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated last month
- ☆12Updated 4 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 4 years ago
- ☆14Updated 8 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last year
- A benchmark library for constraints☆98Updated 3 months ago
- Exact optimization for cost function networks and additive graphical models☆62Updated 2 weeks ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Updated 5 years ago
- The Chuffed CP solver☆119Updated last month
- NetworkX Addon to allow graph partitioning with METIS☆80Updated 2 years ago
- The source code repository for the FactorBase system☆10Updated last year
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆31Updated last year
- Benchmark Suite for Interpretable Rule Learning☆12Updated 5 years ago
- a Python library for combinatorial exploration☆12Updated last week
- The Pseudo-Boolean Solver MiniSat+☆29Updated 13 years ago
- ☆16Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆215Updated last month
- Specify and synthesize systems using symbolic algorithms☆52Updated last month