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
• mrocklin / chest
  Simple spill-to-disk dictionary
  ☆17Updated 9 years ago
• ogirardot / meta-deps
  Dependency computation project for maven/java and pip/python examples
  ☆63Updated 12 years ago
• awwad / depresolve
  PyPI package dependency resolution project
  ☆9Updated 8 years ago
• forcedotcom / distributions
  Low-level primitives for collapsed Gibbs sampling in python and C++
  ☆33Updated last year
• 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
• damianavila / vIPer
  vIPer: a new tool for IPython notebooks.
  ☆60Updated 10 years ago
• mynameisfiber / countmemaybe
  A set of distinct value estimators that give probabilistic bounds on a sets cardinality
  ☆22Updated 5 years ago
• darpa-xdata / xlang
  ☆21Updated 9 years ago
• pdebuyl / use_ipynb_git
  How to use nbstripout
  ☆12Updated 5 years ago
• xnd-project / libndtypes
  Subsumed into xnd
  ☆25Updated 5 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆1Updated 10 years ago
• odewahn / ipynb-api
  ☆10Updated 10 years ago
• malthe / skipdict
  A skip dict is a Python dictionary which is permanently sorted by value.
  ☆19Updated 10 years ago
• binder-project / binder-web
  front-end web app for binder deployments
  ☆16Updated 7 years ago
• jupyter / tmpnb-redirector
  Simple HTTP redirector for tmpnb nodes
  ☆12Updated 7 years ago
• uqfoundation / pox
  utilities for filesystem exploration and automated builds
  ☆21Updated this week
• Carreau / jupyter-book
  ☆19Updated 6 years ago
• jdfreder / jupyter-pip
  Allows Jupyter Notebook extension writers to make their extension pip installable!
  ☆38Updated 7 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• abusalimov / pytest-travis-fold
  Folds captured output sections in Travis CI build log
  ☆13Updated 2 years ago
• sagemathinc / smc-public
  See https://github.com/sagemathinc/smc instead!
  ☆22Updated 6 years ago
• kislyuk / eight
  Python 2 to the power of 3
  ☆46Updated 4 years ago
• alimac / err-factoid
  A plugin for Errbot that allows chat users to create "factoids" which the bot can recall on demand.
  ☆10Updated 9 years ago
• jupyter / tmpnb-deploy
  Deploying tmpnb nodes
  ☆18Updated 7 years ago
• pckroon / hypothesis-networkx
  Hypothesis strategy to generate NetworkX graphs.
  ☆19Updated last year
• enthought / codetools
  Tools for Python code analysis and execution.
  ☆51Updated 10 months ago
• Calysto / xonsh_kernel
  Jupyter Kernel for Xonsh
  ☆22Updated 8 years ago
• blue-yonder / devpi-cleaner
  Batch removal of (development) packages from devpi servers
  ☆18Updated last week