backport changes from maitenance/0.9.x (#293)

* Fix changelog (#291)
* Update manifest.in (#292)
* Bump dev version

CHANGES.rst

@@ -1,101 +1,105 @@
-=======================
 ``simplesat`` CHANGELOG
 =======================
 
+Version 0.9.1
+-------------
+
+* Fix the simplesat wheel build (#287)
+
 Version 0.9.0
-==============
+-------------
 
 * Replace travis CI with Github Actions (#281)
 * Run tests for Python 3.11 (#284)
 
- Version 0.8.2
-==============
+Version 0.8.2
+-------------
 
 Released on October 8th, 2019.
 
 * Fix deprecated ``convert`` attribute in ``constraint_modifiers.py`` to
   comply with attrs package release 19.2.0 (see also
-  `https://www.attrs.org/en/stable/changelog.html`_). (#270)
+  `<https://www.attrs.org/en/stable/changelog.html>`_). (#270)
 * Fix typo in ``InvalidConstraint`` error message. (#266)
 * Fix error with ``UndeterminedClausePolicy`` not suggesting best packages. (#268)
 
 Internals
----------
+~~~~~~~~~
 
 * Change minimum supported version of attrs to 17.4.0. (#270)
 
 
- Version 0.8.1
-==============
+Version 0.8.1
+-------------
 
 Released on March 22nd, 2017.
 
 Bug fixes
----------
+~~~~~~~~~
 
 * fix edge case in upgrade-all, when no remote candidate is available for an
   already installed package (#261)
 * fix parsing of requirements that start with a digit (#260)
 
- Version 0.8.0
-==============
+Version 0.8.0
+-------------
 
 Released on March 9th, 2017.
 
 Features
---------
+~~~~~~~~
 
 * new upgrade job kind, to update every installed package to the latest (#253)
 * new solver method solve_with_hint for a more human-readable message for
   unsatisfiable problems (#254)
 
 Internals
----------
+~~~~~~~~~
 
 * update runtime dependencies constraints to latest okonomiyaki (#252)
 
 
 Version 0.7.0
-=============
+-------------
 
 Released on August 8th, 2016.
 
 Features
---------
+~~~~~~~~
 
 * Add function to compute the leaf packages in a set of repositories.
 
 Version 0.6.0
-=============
+-------------
 
 Released on July 20th, 2016.
 
 Features
---------
+~~~~~~~~
 
 * Add support for post-release version number (#239)
 * Add package and package id iteration to Pool (#237)
 
 Version 0.5.0
-=============
+-------------
 
 Released on July 12th, 2016.
 
 Features
---------
+~~~~~~~~~
 
 * Return error message text when checking for satisfiability/completeness of
   requirements (#231)
 * Add `remove` method to ConstraintModifiers that deletes constraints
   associated with a particular package (#229)
 
 Version 0.4.0
-=============
+-------------
 
 Released on 1st June 2016.
 
 Features
---------
+~~~~~~~~~
 
 * `ConstraintModifiers` enhancements: Add `update` method; use validator for
   modifiers on `Request` (#211)
@@ -105,19 +109,19 @@ Features
   suggest newer versions rather than the installed version. (#220)
 
 Bug fixes
----------
+~~~~~~~~~
 
 * Track clauses with only one literal in solver to avoid crash in policy (#209)
 * Avoid failure in policy if an installed package has no associated clauses
   (#218)
 
 Version 0.3.0
-=============
+-------------
 
 Released on 5th May 2016.
 
 Features
---------
+~~~~~~~~~
 
 * add support for `provides` metadata (#194)
 * add new api for simplifying and satisfying requests (#195)
@@ -130,7 +134,7 @@ Enhancements
 * update internal documentation for the various Requirement types (#201)
 
 Bug fixes
----------
+~~~~~~~~~
 
 * fix `Repository.add_package` when `Repository.find_packages` was previously
   used for non existing packages (#185)
@@ -139,14 +143,14 @@ Bug fixes
 * call to `asdict` must be deterministic (#200)
 
 Version 0.2.2
-=============
+-------------
 
 Released on 29/04/2016.
 
 * update `install_requires` to allow `okonomiyaki >= 0.14` (#198)
 
 Version 0.2.1
-=============
+-------------
 
 Released on 27/04/2016.
 
@@ -155,10 +159,10 @@ Released on 27/04/2016.
 * fix error handling when metadata conflict (#187)
 
 Version 0.2.0
-=============
+-------------
 
 Enhancements
-------------
+~~~~~~~~~~~~
 
 * Details relating to unsatisfiable scenarios are captured in an ``UNSAT``
   object and attached to the ``SatisifiabilityError`` raised (#101).
@@ -173,7 +177,7 @@ Enhancements
 * added __version__ and __git_revision__ attributes to satsolver (#173)
 
 Bugs Fixed
-----------
+~~~~~~~~~~
 
 * ``IPolicy`` constructor now ignores initialization arguments (#101).
 * Some sort operations that were using non-unique keys have been fixed (#101).
@@ -182,23 +186,23 @@ Bugs Fixed
 * cleanup setup, added missing enum34 as a dependency in setup.py (#169, #170)
 
 Internals
----------
+~~~~~~~~~
 
 * internal API to check consistency of a set of requirements (#157)
 * fix debug output in scripts/solve.py (#159)
 * add utility script to export a scenario into DIMACS format (#162)
 * internal API to compute reverse dependencies of a requirement (#175)
 
 Version 0.1.0
-=============
+~~~~~~~~~~~~~
 
 The initial release of ``simplesat``. While the SAT solver is fully functional,
 the infrastructure for building a set of clauses to be solved supports runtime
 dependencies specified using only equality constraints, such as ``numpy 1.8.0-1
 depends MKL ^= 10.3``.
 
 Features
---------
+~~~~~~~~
 
 * Provides a pure python implementation of MiniSAT, supporting directed search
   via plugin-style ``Policy`` objects.

MANIFEST.in

@@ -1,3 +1,4 @@
 include VERSION
 include *.txt
-recursive-include docs
+recursive-include docs *.bat *.py *.rst
+include docs/Makefile

VERSION

@@ -1 +1 @@
-0.9.1.dev
+0.10.0.dev