Metadata-Version: 1.0
Name: python-sat
Version: 0.1.3.dev14
Summary: A Python library for prototyping with SAT oracles
Home-page: https://github.com/pysathq/pysat
Author: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
Author-email: aignatiev@ciencias.ulisboa.pt, jpms@ciencias.ulisboa.pt, ajmorgado@ciencias.ulisboa.pt
License: MIT
Description: 
        A Python library providing a simple interface to a number of
        state-of-art Boolean satisfiability (SAT) solvers and a few types of
        cardinality encodings. The purpose of PySAT is to enable researchers
        working on SAT and its applications and generalizations to easily
        prototype with SAT oracles in Python while exploiting incrementally the
        power of the original low-level implementations of modern SAT solvers.
        
        With PySAT it should be easy for you to implement a MaxSAT solver, an
        MUS/MCS extractor/enumerator, or any tool solving an application problem
        with the (potentially multiple) use of a SAT oracle.
        
        Details can be found at `https://pysat.github.io <https://pysat.github.io>`__.
        
Platform: UNKNOWN
