Alternatives and similar repositories for depsolver:

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

• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• DRMacIver / structureshrink
  Structured shrinking of unknown file formats
  ☆96Updated 7 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 years ago
• sourcegraph / pydep
  a simple command line tool / package that prints the dependencies of a python project
  ☆28Updated 7 years ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 3 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
• aserg-ufmg / NextBug
  A next-good-bug recommender for Bugzilla
  ☆11Updated 9 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• art4711 / random-double
  An algorithm for generating random doubles.
  ☆12Updated 8 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 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
• williame / obiwan
  a function parameter type checker; a json validator
  ☆81Updated 9 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• awwad / depresolve
  PyPI package dependency resolution project
  ☆9Updated 8 years ago
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 6 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• rodsenra / pode
  Python Omniscient Debugger
  ☆47Updated 11 years ago
• enthought / sat-solver
  Default Repo description from terraform module
  ☆3Updated 2 weeks ago
• waynenilsen / capnp-ffi
  Use Cap’n Proto as a better method of FFI communication
  ☆24Updated 9 years ago
• brthor / lambdazen
  A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting
  ☆46Updated 8 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 8 years ago
• chainreactionmfg / cara
  Capnproto Alternative RPC API
  ☆16Updated 9 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
• malthe / skipdict
  A skip dict is a Python dictionary which is permanently sorted by value.
  ☆19Updated 10 years ago
• ncolony / ncolony
  A colony of interacting processes
  ☆23Updated 10 months ago