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
  ☆204Updated last month
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆435Updated this week
• decyphir / breach
  ☆60Updated last year
• atlarge-research / opendc
  Collaborative Datacenter Simulation and Exploration for Everybody
  ☆97Updated 2 weeks ago
• coin-or / Cbc
  COIN-OR Branch-and-Cut solver
  ☆941Updated last month
• scipopt / scip
  SCIP - Solving Constraint Integer Programs
  ☆510Updated this week
• harvard-edge / MAVBench
  Simulator + benchmark suite for Micro Aerial Vehicle design.
  ☆64Updated 2 years ago
• errikos / dithesis
  Thesis class for undergraduate theses at the University of Athens
  ☆41Updated 2 years ago
• gnelissen / np-schedulability-analysis
  An implementation of schedulability tests for non-preemptive job sets, for uni- and global multiprocessors, with precedence constraints.
  ☆10Updated 3 weeks ago
• md-cs-student-unipi / Materials
  🎓Collection of useful repositories
  ☆159Updated 2 months ago
• saeednj / SAT-encoding
  Encoding different problems into Boolean satisfiability
  ☆12Updated 3 years ago
• jwalteros / dOmega
  Library for finding maximum cliques on graphs
  ☆16Updated 3 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated 2 years ago
• cssartori / ovig
  Open Source Vehicle Routing Instance Generator
  ☆16Updated 4 years ago
• Olibear / ArcRoutingLibrary
  A collection of problem abstractions and solver implementations for arc-routing problems
  ☆25Updated 4 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆74Updated this week
• algorithms-with-predictions / algorithms-with-predictions.github.io
  Overview website for research on Algorithms with Predictions (ALPS)
  ☆46Updated last week
• coin-or / Clp
  COIN-OR Linear Programming Solver
  ☆464Updated last month
• souzamarcelo / acviz
  Algorithm Configuration Visualizations for irace!
  ☆11Updated 2 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Updated 3 months ago
• susmitjha / TeLEX
  Temporal Logic Extractor
  ☆11Updated 8 years ago
• sumonbis / PathORAM
  Path ORAM is a simple oblivious RAM algorithm. While using cloud platform or any other insecure memory, attack can be made using the acce…
  ☆22Updated 6 years ago
• matthelb / concorde
  Concorde is a computer code for the symmetric traveling salesman problem (TSP) and some related network optimization problems. It was cre…
  ☆100Updated 3 years ago
• sisl / HorizontalCAS
  ☆22Updated 3 years ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆47Updated 9 months ago
• d-krupke / cpsat-primer
  The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
  ☆585Updated last week
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆22Updated last month
• cpslab-asu / psy-taliro
  Search-based test generation toolbox written in Python
  ☆14Updated 7 months ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆60Updated 3 years ago
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆144Updated last week