enthought / sat-solverLinks
Default Repo description from terraform module
☆3Updated 3 months ago
Alternatives and similar repositories for sat-solver
Users that are interested in sat-solver are comparing it to the libraries listed below
Sorting:
- vIPer: a new tool for IPython notebooks.☆60Updated 10 years ago
- Development repo for evolution of PyPA interoperability standards (released versions are published as PEPs on python.org)☆22Updated 4 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Updated last year
- Simple spill-to-disk dictionary☆17Updated 9 years ago
- Markdown -> IPython conversion tool☆15Updated 10 years ago
- The HashDist environment management system☆107Updated 7 years ago
- Dependency computation project for maven/java and pip/python examples☆63Updated 12 years ago
- Allows Jupyter Notebook extension writers to make their extension pip installable!☆38Updated 7 years ago
- Deploying tmpnb nodes☆18Updated 7 years ago
- Simple HTTP redirector for tmpnb nodes☆12Updated 7 years ago
- Rapidly create full-featured command line interfaces with help, subcommand dispatch, and validation.☆13Updated 5 years ago
- Dockerfiles for building docker images☆27Updated 8 months ago
- Subsumed into xnd☆25Updated 5 years ago
- Yet another IPython notebook to LaTeX converter - this one exports clean code easily absorbed in other reports.☆15Updated 2 years ago
- ☆21Updated 9 years ago
- An experiment in trying to define a core and cleaned-up NumPy API: RNumPy☆13Updated 4 years ago
- A plugin for Errbot that allows chat users to create "factoids" which the bot can recall on demand.☆10Updated 9 years ago
- TreeDict is a fast, flexible and full-featured hierarchical python container that makes simple and sophisticated bookkeeping easy.☆32Updated 9 years ago
- utilities for filesystem exploration and automated builds☆21Updated 3 weeks ago
- Utilities for testing OSX on travis-ci.org☆35Updated 5 years ago
- A cookiecutter template for pandoc / XeTeX talks.☆22Updated 11 years ago
- Pandas Msgpack☆23Updated 2 years ago
- ☆19Updated 6 years ago
- `%hierarchy` and `%%dot` magics for IPython☆39Updated 12 years ago
- Disable virtualenv (>=14)'s downloading behaviour when running through tox.☆18Updated 6 years ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated last year
- Programmatic Control Flow☆12Updated 8 years ago
- A python module that will check for package updates.☆28Updated 4 years ago
- ☆23Updated 9 years ago
- A library for constructing finite state machines☆56Updated 9 years ago