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
• pdebuyl / use_ipynb_git
  How to use nbstripout
  ☆12Updated 5 years ago
• damianavila / vIPer
  vIPer: a new tool for IPython notebooks.
  ☆60Updated 10 years ago
• Quansight-Labs / rnumpy
  An experiment in trying to define a core and cleaned-up NumPy API: RNumPy
  ☆13Updated 4 years ago
• malthe / skipdict
  A skip dict is a Python dictionary which is permanently sorted by value.
  ☆19Updated 10 years ago
• jdfreder / jupyter-pip
  Allows Jupyter Notebook extension writers to make their extension pip installable!
  ☆38Updated 7 years ago
• hoytak / treedict
  TreeDict is a fast, flexible and full-featured hierarchical python container that makes simple and sophisticated bookkeeping easy.
  ☆32Updated 9 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
• forcedotcom / distributions
  Low-level primitives for collapsed Gibbs sampling in python and C++
  ☆33Updated last year
• pydata / parallel
  ☆12Updated 8 years ago
• xnd-project / libndtypes
  Subsumed into xnd
  ☆25Updated 5 years ago
• IntelPython / container-images
  Dockerfiles for building docker images
  ☆27Updated 5 months ago
• abusalimov / pytest-travis-fold
  Folds captured output sections in Travis CI build log
  ☆13Updated 2 years ago
• lgpage / pytest-cython
  A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython
  ☆20Updated last month
• NelisW / ipynb2tex
  Yet another IPython notebook to LaTeX converter - this one exports clean code easily absorbed in other reports.
  ☆15Updated last year
• beeware / galley
  A GUI tool for reviewing ReST/Sphinx documentation
  ☆26Updated 2 years ago
• odewahn / ipynb-api
  ☆10Updated 10 years ago
• ogirardot / meta-deps
  Dependency computation project for maven/java and pip/python examples
  ☆63Updated 12 years ago
• sublee / sublee-sphinx-themes
  ☆47Updated 4 years ago
• asottile-archive / tox-virtualenv-no-download
  Disable virtualenv (>=14)'s downloading behaviour when running through tox.
  ☆18Updated 5 years ago
• betatim / carina-jupyterhub
  Jupyterhub backed by carina!
  ☆15Updated 9 years ago
• pelson / Obvious-CI
  🚧⛔ Tools help with continuous integration on services such as travis-ci and appveyor. (mostly replaced by conda-smithy)
  ☆14Updated 6 years ago
• brettcannon / free-labour
  Calculate your open source contributions
  ☆18Updated 4 years ago
• jupyter / tmpnb-redirector
  Simple HTTP redirector for tmpnb nodes
  ☆12Updated 7 years ago
• cournape / Bento
  A tool to nicely wrap-up your python softwares
  ☆157Updated 10 years ago
• mynameisfiber / countmemaybe
  A set of distinct value estimators that give probabilistic bounds on a sets cardinality
  ☆22Updated 5 years ago
• tkf / ipython-hierarchymagic
  `%hierarchy` and `%%dot` magics for IPython
  ☆39Updated 12 years ago
• zestyping / star-destroyer
  Eliminates "import *" from your modules.
  ☆37Updated 8 years ago
• awwad / depresolve
  PyPI package dependency resolution project
  ☆9Updated 8 years ago
• asottile-archive / future-breakpoint
  A backport of `breakpoint` to python<3.7.
  ☆44Updated 3 years ago