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 9 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 7 months ago
• ogirardot / meta-deps
  Dependency computation project for maven/java and pip/python examples
  ☆63Updated 11 years ago
• abusalimov / pytest-travis-fold
  Folds captured output sections in Travis CI build log
  ☆13Updated 2 years ago
• asottile-archive / tox-virtualenv-no-download
  Disable virtualenv (>=14)'s downloading behaviour when running through tox.
  ☆18Updated 5 years ago
• pdebuyl / use_ipynb_git
  How to use nbstripout
  ☆12Updated 4 years ago
• pypa / interoperability-peps
  Development repo for evolution of PyPA interoperability standards (released versions are published as PEPs on python.org)
  ☆21Updated 4 years ago
• mrocklin / chest
  Simple spill-to-disk dictionary
  ☆17Updated 8 years ago
• mitsuhiko / unicode-nazi
  Annoying helper module that finds unicode/bytestring comparisions
  ☆74Updated 13 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆0Updated 10 years ago
• enthought / codetools
  Tools for Python code analysis and execution.
  ☆51Updated 5 months ago
• MacPython / terryfy
  Utilities for testing OSX on travis-ci.org
  ☆36Updated 5 years ago
• damianavila / vIPer
  vIPer: a new tool for IPython notebooks.
  ☆60Updated 10 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
• xnd-project / libndtypes
  Subsumed into xnd
  ☆25Updated 5 years ago
• Quansight-Labs / rnumpy
  An experiment in trying to define a core and cleaned-up NumPy API: RNumPy
  ☆13Updated 3 years ago
• hoytak / treedict
  TreeDict is a fast, flexible and full-featured hierarchical python container that makes simple and sophisticated bookkeeping easy.
  ☆31Updated 8 years ago
• williame / obiwan
  a function parameter type checker; a json validator
  ☆81Updated 9 years ago
• blue-yonder / devpi-cleaner
  Batch removal of (development) packages from devpi servers
  ☆18Updated 2 months ago
• twisted / constantly
  Symbolic Constants in Python
  ☆23Updated 4 months ago
• python / devinabox
  Documentation and tools to help host a sprint on Python core development
  ☆16Updated 8 years ago
• pypa / pkg_resources
  Abandoned extraction of pkg_resources. Official version found at /pypa/setuptools.
  ☆16Updated 3 years ago
• NelisW / ipynb2tex
  Yet another IPython notebook to LaTeX converter - this one exports clean code easily absorbed in other reports.
  ☆15Updated last year
• contains-io / rcli
  Rapidly create full-featured command line interfaces with help, subcommand dispatch, and validation.
  ☆13Updated 4 years ago
• matrix-org / python-canonicaljson
  Canonical JSON
  ☆31Updated last year
• twisted / tubes
  A series of tubes.
  ☆56Updated 4 months ago