Skip to content

Commit

Permalink
A few more sentences in the README.
Browse files Browse the repository at this point in the history
  • Loading branch information
@alexeyignatiev
alexeyignatiev committed Jul 6, 2020
1 parent 87bca9b commit 28b7d38
Showing 1 changed file with 7 additions and 2 deletions.
9 changes: 7 additions & 2 deletions README.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,13 @@ Features

PySAT integrates a number of widely used state-of-the-art SAT solvers. All the
provided solvers are the original low-level implementations installed along
with PySAT. Note that the solvers' source code *is not* a part of the project's
source tree and is downloaded and patched at every PySAT installation.
with PySAT. Note that the solvers' source code *is not* a part of the
project's source tree and is downloaded and patched at every PySAT
installation. Note that originally the solvers' source code was not
distributed with PySAT, which resulted in sequence of download and patch
operations for each solver during each installation of PySAT. This, however,
causes serious issues in case of using a proxy. As a result and since version
0.1.6.dev1, PySAT includes the solvers' archive files in the distribution.

Currently, the following SAT solvers are supported (at this point, for
Minisat-based solvers only *core* versions are integrated):
Expand Down

0 comments on commit 28b7d38

Please sign in to comment.