Alternatives and similar repositories for sat-solver

Users that are interested in sat-solver are comparing it to the libraries listed below

• ryansb / bookmarkd
  Markdown -> IPython conversion tool
  ☆15Updated 10 years ago
• jupyter / tmpnb-redirector
  Simple HTTP redirector for tmpnb nodes
  ☆12Updated 7 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆1Updated 10 years ago
• ogirardot / meta-deps
  Dependency computation project for maven/java and pip/python examples
  ☆63Updated 12 years ago
• pypa / interoperability-peps
  Development repo for evolution of PyPA interoperability standards (released versions are published as PEPs on python.org)
  ☆22Updated 4 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• Quansight-Labs / rnumpy
  An experiment in trying to define a core and cleaned-up NumPy API: RNumPy
  ☆13Updated 4 years ago
• forcedotcom / distributions
  Low-level primitives for collapsed Gibbs sampling in python and C++
  ☆33Updated last year
• damianavila / vIPer
  vIPer: a new tool for IPython notebooks.
  ☆60Updated 10 years ago
• asottile-archive / tox-virtualenv-no-download
  Disable virtualenv (>=14)'s downloading behaviour when running through tox.
  ☆18Updated 5 years ago
• MacPython / terryfy
  Utilities for testing OSX on travis-ci.org
  ☆35Updated 5 years ago
• enthought / codetools
  Tools for Python code analysis and execution.
  ☆51Updated 9 months ago
• rguillebert / pymetabiosis
  A way to use CPython modules on PyPy
  ☆37Updated 9 years ago
• msabramo / setuptools-git
  setuptools plugin to include all git tracked files in your tarballs
  ☆33Updated 7 years ago
• ncolony / ncolony
  A colony of interacting processes
  ☆23Updated 10 months ago
• abusalimov / pytest-travis-fold
  Folds captured output sections in Travis CI build log
  ☆13Updated 2 years ago
• mrocklin / chest
  Simple spill-to-disk dictionary
  ☆17Updated 8 years ago
• mrocklin / dask-spark
  Dask and Spark interactions
  ☆21Updated 8 years ago
• brettcannon / free-labour
  Calculate your open source contributions
  ☆18Updated 4 years ago
• awwad / depresolve
  PyPI package dependency resolution project
  ☆9Updated 8 years ago
• Calysto / xonsh_kernel
  Jupyter Kernel for Xonsh
  ☆22Updated 8 years ago
• sagemathinc / smc-public
  See https://github.com/sagemathinc/smc instead!
  ☆22Updated 6 years ago
• lgpage / pytest-cython
  A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython
  ☆20Updated 2 months ago
• IntelPython / container-images
  Dockerfiles for building docker images
  ☆27Updated 6 months ago
• jdfreder / jupyter-pip
  Allows Jupyter Notebook extension writers to make their extension pip installable!
  ☆38Updated 7 years ago
• blue-yonder / devpi-cleaner
  Batch removal of (development) packages from devpi servers
  ☆18Updated 2 weeks ago
• pypa / integration-test
  ensure core packaging tools work well with each other
  ☆19Updated 6 years ago
• Yelp / named_decorator
  Dynamically name wrappers based on their callees to untangle profiles of large python codebases
  ☆12Updated 2 years ago
• jwilk / pydiatra
  yet another static checker for Python code
  ☆21Updated last month
• pytest-dev / pygments-pytest
  A pygments lexer for pytest output
  ☆24Updated last year