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
  ☆211Updated last month
• jwalteros / dOmega
  Library for finding maximum cliques on graphs
  ☆16Updated 3 years ago
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆14Updated 5 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆77Updated this week
• VNN-COMP / vnncomp2022
  ☆17Updated 3 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.
  ☆91Updated 2 weeks ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆439Updated 3 weeks ago
• decyphir / breach
  ☆61Updated last year
• sisl / HorizontalCAS
  ☆22Updated 3 years ago
• VNN-COMP / vnncomp2020
  ☆14Updated 2 years ago
• JHL-HUST / BandMaxSAT
  BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
  ☆11Updated 2 years ago
• guykatzz / ReluplexCav2017
  ☆102Updated 5 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Updated 5 months ago
• NeuralNetworkVerification / Marabou
  ☆300Updated 3 weeks ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆61Updated 3 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆79Updated last month
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 3 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• sisl / NNet
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Updated 8 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆175Updated 3 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆157Updated 2 months ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆102Updated 2 years ago
• all-things-networking / fperf
  ☆19Updated this week
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆147Updated this week
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆60Updated 5 years ago
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆30Updated 5 years ago
• Verisig / verisig
  ☆27Updated last year
• algorithms-with-predictions / algorithms-with-predictions.github.io
  Overview website for research on Algorithms with Predictions (ALPS)
  ☆48Updated this week
• msoos / cryptominisat
  An advanced SAT solver
  ☆896Updated this week
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆493Updated last week