Updates before release 0.3.0

tpaviot · Jan 30, 2021 · 7482c6e · 7482c6e
1 parent d2e16c3
commit 7482c6e
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 8 deletions.
diff --git a/NOTES b/NOTES
@@ -1,5 +1,10 @@
 RELEASE NOTES
 
+Version 0.3.0
+=============
+New features:
+  - cumulative worker
+
 Version 0.2.0
 =============
 New features:

diff --git a/README.md b/README.md
@@ -6,14 +6,14 @@
 [![PyPI version](https://badge.fury.io/py/ProcessScheduler.svg)](https://badge.fury.io/py/ProcessScheduler)
 
 # ProcessScheduler
-A python library to compute resource-constrained task schedules.
+A python library to compute resource-constrained task schedules. Documentation at https://processscheduler.readthedocs.io/
 
-Documentation at https://processscheduler.readthedocs.io/
+```bash
+pip install ProcessScheduler
+```
 
 ## About
-The computation is based on a set of constraints expressed under the form of first-order logic assertions. Problem solving is performed by the SMT [Z3Prover](https://github.com/Z3Prover/z3).
-
-This project was inspired by the work form Tim Nonner at https://github.com/timnon/pyschedule.
+The computation is based on a set of constraints expressed under the form of first-order logic assertions. Problem solving is performed by the SMT [Z3Prover](https://github.com/Z3Prover/z3). This project was inspired by the work form Tim Nonner at https://github.com/timnon/pyschedule.
 
 ```python
 import processscheduler as ps
@@ -48,7 +48,8 @@ solution.render_gantt_matplotlib()
 *   resource constraints: AllSameSelected, AllDifferentSelected,
 *   first-order-logic operations (not, or, xor, and, implies, if/then/else) between task or resource constraints,
 *   customized indicators,
-*   builtin objectives (makespan, flowtime, earliest, latest, resource cost) and customized.
+*   SAT/SMT solver with or without optimization,
+*   objective (makespan, flowtime, earliest, latest, resource cost).
 
 ## Jupyter notebooks
 

diff --git a/setup.py b/setup.py
@@ -1,11 +1,11 @@
 from setuptools import find_packages, setup
 
 DESCRIPTION = (
-      'A python package to formulate and solve resource-constrained scheduling problems'
+      'A package to solve resource-constrained scheduling problems using SMT theory/solver.'
 )
 
 CLASSIFIERS = [
-      'Development Status :: 3 - Alpha',
+      'Development Status :: 4 - Beta',
       'Intended Audience :: Developers',
       'Intended Audience :: Manufacturing',
       'Intended Audience :: Financial and Insurance Industry',