python-constraint2 2.0.3__tar.gz → 2.2.0__tar.gz

{python_constraint2-2.0.3 → python_constraint2-2.2.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: python-constraint2
-Version: 2.0.3
+Version: 2.2.0
 Summary: python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains.
 License: BSD-2-Clause
 Keywords: CSP,constraint solving problems,problem solver,SMT,satisfiability modulo theory,SAT
@@ -8,26 +8,17 @@ Author: Gustavo Niemeyer
 Author-email: gustavo@niemeyer.net
 Maintainer: Floris-Jan Willemsen
 Maintainer-email: fjwillemsen97@gmail.com
-Requires-Python: >=3.9,<3.14
-Classifier: Development Status :: 4 - Beta
+Requires-Python: >= 3.9
 Classifier: Environment :: Console
+Classifier: Development Status :: 5 - Production/Stable
 Classifier: Intended Audience :: Developers
-Classifier: Intended Audience :: Education
 Classifier: Intended Audience :: Science/Research
-Classifier: License :: OSI Approved :: BSD License
+Classifier: Intended Audience :: Education
 Classifier: Natural Language :: English
 Classifier: Programming Language :: C
 Classifier: Programming Language :: Cython
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.9
-Classifier: Programming Language :: Python :: 3.10
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Programming Language :: Python :: 3.13
 Classifier: Topic :: Scientific/Engineering
 Classifier: Topic :: Software Development
-Project-URL: Documentation, http://python-constraint.github.io/python-constraint/
-Project-URL: Repository, https://github.com/python-constraint/python-constraint
 Description-Content-Type: text/x-rst
 
 |License| |Build Status| |Docs| |Python Versions| |Downloads| |Status| |Code Coverage|
@@ -44,6 +35,11 @@ python-constraint
 | For an overview of recent changes, visit the `Changelog <https://github.com/python-constraint/python-constraint/blob/main/CHANGELOG.md>`_.
 | The complete documentation can be found `here <http://python-constraint.github.io/python-constraint/>`_.
 
+| New: writing constraints in the new string format is preferable over functions and lambdas. 
+| These strings, even as compound statements, are automatically parsed to faster built-in constraints, are more concise, and do not require constraint solving familiarity by the user to be efficient.
+| For example, :code:`problem.addConstraint(["50 <= x * y < 100"])` is parsed to :code:`[MinProdConstraint(50, ["x", "y"]), MaxProdConstraint(100, ["x", "y"])]`. 
+| This feature is in beta and subject to possible change, please provide feedback.
+
 .. contents::
     :local:
     :depth: 1
@@ -72,8 +68,7 @@ This interactive Python session demonstrates basic operations:
      {'a': 2, 'b': 6}, {'a': 2, 'b': 5}, {'a': 2, 'b': 4},
      {'a': 1, 'b': 6}, {'a': 1, 'b': 5}, {'a': 1, 'b': 4}]
 
-    >>> problem.addConstraint(lambda a, b: a*2 == b,
-                              ("a", "b"))
+    >>> problem.addConstraint("a*2 == b") # string constraints are preferable over the black-box problem.addConstraint(lambda a, b: a*2 == b, ("a", "b"))
     >>> problem.getSolutions()
     [{'a': 3, 'b': 6}, {'a': 2, 'b': 4}]
 
@@ -146,6 +141,7 @@ The following solvers are available:
 - Optimized backtracking solver
 - Recursive backtracking solver
 - Minimum conflicts solver
+- Parallel solver
 
 .. role:: python(code)
    :language: python
@@ -200,9 +196,8 @@ For an overview of recent changes, visit the `Changelog <https://github.com/pyth
 
 Planned development:
 
-- Add a string parser for constraints
-- Add parallel-capable solver
-- Add `benchmarking tests <https://pypi.org/project/pytest-benchmark/>`_ automated with `GH actions <https://github.com/benchmark-action/github-action-benchmark>`_
+- Rewrite hotspots in C / Pyx instead of pure python mode
+- Improvements to make the ParallelSolver competitive (experiments reveal the freethreading mode to be promising)
 - Versioned documentation
 
 Contact

{python_constraint2-2.0.3 → python_constraint2-2.2.0}/README.rst

@@ -12,6 +12,11 @@ python-constraint
 | For an overview of recent changes, visit the `Changelog <https://github.com/python-constraint/python-constraint/blob/main/CHANGELOG.md>`_.
 | The complete documentation can be found `here <http://python-constraint.github.io/python-constraint/>`_.
 
+| New: writing constraints in the new string format is preferable over functions and lambdas. 
+| These strings, even as compound statements, are automatically parsed to faster built-in constraints, are more concise, and do not require constraint solving familiarity by the user to be efficient.
+| For example, :code:`problem.addConstraint(["50 <= x * y < 100"])` is parsed to :code:`[MinProdConstraint(50, ["x", "y"]), MaxProdConstraint(100, ["x", "y"])]`. 
+| This feature is in beta and subject to possible change, please provide feedback.
+
 .. contents::
     :local:
     :depth: 1
@@ -40,8 +45,7 @@ This interactive Python session demonstrates basic operations:
      {'a': 2, 'b': 6}, {'a': 2, 'b': 5}, {'a': 2, 'b': 4},
      {'a': 1, 'b': 6}, {'a': 1, 'b': 5}, {'a': 1, 'b': 4}]
 
-    >>> problem.addConstraint(lambda a, b: a*2 == b,
-                              ("a", "b"))
+    >>> problem.addConstraint("a*2 == b") # string constraints are preferable over the black-box problem.addConstraint(lambda a, b: a*2 == b, ("a", "b"))
     >>> problem.getSolutions()
     [{'a': 3, 'b': 6}, {'a': 2, 'b': 4}]
 
@@ -114,6 +118,7 @@ The following solvers are available:
 - Optimized backtracking solver
 - Recursive backtracking solver
 - Minimum conflicts solver
+- Parallel solver
 
 .. role:: python(code)
    :language: python
@@ -168,9 +173,8 @@ For an overview of recent changes, visit the `Changelog <https://github.com/pyth
 
 Planned development:
 
-- Add a string parser for constraints
-- Add parallel-capable solver
-- Add `benchmarking tests <https://pypi.org/project/pytest-benchmark/>`_ automated with `GH actions <https://github.com/benchmark-action/github-action-benchmark>`_
+- Rewrite hotspots in C / Pyx instead of pure python mode
+- Improvements to make the ParallelSolver competitive (experiments reveal the freethreading mode to be promising)
 - Versioned documentation
 
 Contact

{python_constraint2-2.0.3 → python_constraint2-2.2.0}/constraint/__init__.py

@@ -31,6 +31,7 @@ from constraint.problem import *  # noqa: F403
 from constraint.domain import *   # noqa: F403
 from constraint.constraints import *  # noqa: F403
 from constraint.solvers import *   # noqa: F403
+from constraint.parser import * # noqa: F403
 
 if __name__ == "__main__":
     from tests import test_doctests