pycosat
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level,
- Category
- Conda packages
Official docs outline
github.comExtra Credit builds an outline of pycosat's docs the first time your work uses it. Until then, start at the official documentation.
More in Conda packages
All 500- libssh2 libssh2 is a library implementing the SSH2 protocol, available under the revised BSD license.
- pyopenssl pyOpenSSL is a high-level wrapper around a subset of the OpenSSL library. It includes: -SSL.Connection objects, wrapping the methods of Pyth
- qt Qt helps you create connected devices, UIs & applications that run anywhere on any device, on any operating system at any time.
- libtiff This software provides support for the Tag Image File Format (TIFF), a widely used format for storing image data.
- joblib A set of tools to provide lightweight pipelining in Python. In particular: transparent disk-caching of functions and lazy re-evaluation (mem
- typing_extensions The typing module was added to the standard library in Python 3.5, but many new features have been added to the module since then. This mean
- cython Cython is an optimising static compiler for both the Python programming language and the extended Cython programming language. It makes writ
- openldap OpenLDAP Software is an open source implementation of the Lightweight Directory Access Protocol.
- conda-package-handling `conda` and `conda-build` use `conda_package_handling.api` to create and extract conda packages. This package also provides the `cph` comman
- libxml2 Though libxml2 is written in C a variety of language bindings make it available in other environments.
- charset-normalizer A Library that helps you read text from unknown charset encoding. This project is motivated by chardet.
- psutil psutil (process and system utilities) is a cross-platform library for retrieving information on running processes and system utilization (CP