Skip to main content

Simple SAT solvers for use in Enstaller

Project description

Prototype for SAT-based dependency handling. This is a work in progress, do not expect any API not to change at this point.


To install the python package, simple do as follows:

git clone --recursive
cd sat-solver
pip install -e .

Example usage


Usage from the CLI

To try things out from the CLI, you need to write a scenario file (yaml format), see simplesat/tests/simple_numpy.yaml for a simple example.

To print the rules:

python scripts/ simplesat/tests/simple_numpy.yaml

To print the operations:

python scripts/ simplesat/tests/simple_numpy.yaml

Comparing with php’s composer

First, clone composer’s somewhere on your machine:

git clone

Then, use the scripts/ script to write a php file that will print the composer’s solution for a given scenario:

python scripts/ \
    --composer-root <path to composer github checkout> \
    simplesat/tests/simple_numpy.yaml \

This will create a scripts/print_operations.php script you can simply execute w/ php:

php scripts/print_operations.php


On the use of SAT solvers for managing packages:

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

simplesat-0.6.0.tar.gz (201.1 kB view hashes)

Uploaded source

Built Distribution

simplesat-0.6.0-py2.py3-none-any.whl (243.7 kB view hashes)

Uploaded py2 py3

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor NVIDIA NVIDIA PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page