Welcome to simplesat’s documentation!

A library for SAT-based dependency handling. The simplesat library provides facilities for describing packages and their relationships, producing a set of CNF clauses, and producing a solution for the clauses, according to the notion of a “policy,” which determines the order in which packages are tried.

Contents:

• Getting Started
  • Installation
  • Usage from the CLI
• Architecture
  • Requests
  • Package Hierarchy
  • MiniSAT Engine
• SAT Solving
  • Encoding Relationships as Clauses
  • Constraint Modifiers
  • Requirements
• Comparing with PHP’s Composer library
• API Reference
  • Main Interface
  • Functional classes
  • Package Hierarchy
  • Conveniences
  • Exceptions
  • Lower level utilities
• Glossary
• Bibliography

Indices and tables

• Index
• Module Index
• Search Page