Alternatives and similar repositories for depsolver:

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

• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• enthought / sat-solver
  Default Repo description from terraform module
  ☆3Updated last week
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 9 years ago
• williame / obiwan
  a function parameter type checker; a json validator
  ☆81Updated 9 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• biometrics / likely
  A compiler intermediate representation for image recognition and heterogeneous computing.
  ☆78Updated 8 years ago
• sourcegraph / pydep
  a simple command line tool / package that prints the dependencies of a python project
  ☆28Updated 6 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆72Updated 5 years ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 3 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• da-x / git-search-replace
  A utility on top of Git for project-wide search-and-replace that includes filenames too
  ☆49Updated 2 years ago
• MacPython / terryfy
  Utilities for testing OSX on travis-ci.org
  ☆35Updated 5 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆46Updated 3 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• hhatto / pyrapidjson
  Python binding for rapidjson
  ☆25Updated 7 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• dcreager / libpush
  An arrow-based parser combinator library for C
  ☆40Updated 14 years ago
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 6 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• chainreactionmfg / cara
  Capnproto Alternative RPC API
  ☆16Updated 9 years ago
• okayzed / kk.py
  the kitchen sink pager
  ☆13Updated 7 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• kurtbrose / ufork
  a small, lightweight pre-forking container
  ☆21Updated 4 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 8 years ago
• kislyuk / eight
  Python 2 to the power of 3
  ☆46Updated 4 years ago
• awwad / depresolve
  PyPI package dependency resolution project
  ☆9Updated 8 years ago
• ScatterHQ / machinist
  A library for constructing finite state machines
  ☆56Updated 9 years ago