conda-pycosat-solver#

Welcome to the conda-pycosat-solver documentation! The pycosat-based SAT solver, historically known as classic (still available as an alias), has been powering conda’s resolution process since its inception. It’s now packaged separately to benefit from the configurability of the plugin system.

Learn#

Getting started

New to conda-pycosat-solver? Start here to learn the essentials

Configuration

Learn about all available configuration options

Development#

Development environment

Learn how to set up your development environment

Changelog

Recent changes and udpates to the project