Alternatives and similar repositories for osm-graph-parser

Users that are interested in osm-graph-parser are comparing it to the libraries listed below

• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆199Updated 3 weeks ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆45Updated 6 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆35Updated last year
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆59Updated 2 years ago
• rte-france / challenge-roadef-2020
  ☆20Updated 3 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated last week
• xcsp3team / XCSP3-Java-Tools
  XCSP3 Tools in Java
  ☆22Updated last week
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆18Updated last month
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆13Updated 5 years ago
• marekpiotrow / UWrMaxSat
  UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …
  ☆25Updated 2 months ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆55Updated last year
• tchond / kspwlo
  Exact and approximate algorithms for processing k-SPwLO queries.
  ☆19Updated 2 years ago
• saeednj / SAT-encoding
  Encoding different problems into Boolean satisfiability
  ☆12Updated 2 years ago
• xcsp3team / XCSP3-CPP-Parser
  XCSP3 Core Parser in C++
  ☆19Updated 2 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated last week
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆19Updated 11 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆105Updated 2 months ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆82Updated this week
• kit-algo / ULTRA
  UnLimited TRAnsfers for Efficient Multimodal Journey Planning
  ☆73Updated 10 months ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Updated this week
• algorithms-with-predictions / algorithms-with-predictions.github.io
  Overview website for research on Algorithms with Predictions (ALPS)
  ☆42Updated last week
• kit-algo / catchup
  Paper, code, experiments and evaluation for ESA2020 paper "Space-efficient, Fast and Exact Routing in Time-dependent Road Networks"
  ☆10Updated 4 years ago
• hadarshavit / revisiting_satzilla
  SATZilla SAT feature extraction tool
  ☆10Updated 11 months ago
• alberto-santini / cplex-example
  Solving a TSP with the CPLEX C++ API.
  ☆51Updated 5 years ago
• kit-algo / flow-cutter-pace17
  Submission to PACE 17
  ☆19Updated 5 months ago
• GVeitBatz / KaTCH
  KaTCH -- Karlsruhe Time-Dependent Contraction Hierarchies
  ☆77Updated 3 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆423Updated 3 weeks ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• edwardxu0 / GDVB
  GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification
  ☆10Updated last year