Add minisat22 solver to satisfiable's list of algorithms

.mailmap

@@ -547,3 +547,4 @@ Prince Gupta <codemastercpp@gmail.com> LAPTOP-AS1M2R8B\codem <codemastercpp@gmai
 Muhammed Abdul Quadir Owais <quadirowais200@gmail.com> MaqOwais <quadirowais200@gmail.com>
 Vaibhav Bhat <vaibhav.bhat2097@gmail.com> VBhat97 <vaibhav.bhat2097@gmail.com>
 Bhaskar Joshi <bhaskar.joshi@research.iiit.ac.in> BhaskarJoshi-01 <bhaskar.joshi@research.iiit.ac.in>
+Miguel Torres Costa <miguelptcosta1995@gmail.com>

.travis.yml

@@ -33,7 +33,7 @@ jobs:
       # all of the dependencies are supported on 3.8.
       env:
         - TEST_ASCII="true"
-        - TEST_OPT_DEPENDENCY="matchpy numpy scipy gmpy2 matplotlib aesara llvmlite autowrap cython wurlitzer python-symengine=0.5.1 tensorflow numexpr ipython antlr-python-runtime>=4.7,<4.8 antlr>=4.7,<4.8 cloudpickle pyglet pycosat lfortran python-clang lxml"
+        - TEST_OPT_DEPENDENCY="matchpy numpy scipy gmpy2 matplotlib aesara llvmlite autowrap cython wurlitzer python-symengine=0.5.1 tensorflow numexpr ipython antlr-python-runtime>=4.7,<4.8 antlr>=4.7,<4.8 cloudpickle pyglet pycosat python-sat lfortran python-clang lxml"
         - TEST_SAGE="true"
         - SYMPY_STRICT_COMPILER_CHECKS=1
       addons:

README.md

@@ -6,7 +6,7 @@
 [![Zenodo Badge](https://zenodo.org/badge/18918/sympy/sympy.svg)](https://zenodo.org/badge/latestdoi/18918/sympy/sympy)
 [![codecov Badge](https://codecov.io/gh/sympy/sympy/branch/master/graph/badge.svg)](https://codecov.io/gh/sympy/sympy)
 
-[![SymPy Banner](banner.svg)](https://sympy.org/)
+[![SymPy Banner](https://github.com/sympy/sympy/raw/master/banner.svg)](https://sympy.org/)
 
 
 See the AUTHORS file for the list of authors.

bin/test_external_imports.py

@@ -25,7 +25,7 @@
 # These libraries are optional, but are always imported at SymPy import time
 # when they are installed. External libraries should only be added to this
 # list if they are required for core SymPy functionality.
-hard_optional_dependencies = ['gmpy', 'gmpy2', 'pycosat']
+hard_optional_dependencies = ['gmpy', 'gmpy2', 'pycosat', 'python-sat']
 
 import sys
 import os

bin/test_submodule_imports.py

@@ -30,7 +30,6 @@
     'deprecated',
     'discrete',
     'external',
-    'equation',
     'functions',
     'geometry',
     'integrals',

doc/src/modules/physics/control/lti.rst

@@ -5,5 +5,16 @@ Control API
 lti
 ===
 
-.. automodule:: sympy.physics.control.lti
+.. module:: sympy.physics.control.lti
+
+.. autoclass:: TransferFunction
+   :members:
+
+.. autoclass:: Series
+   :members:
+
+.. autoclass:: Parallel
+   :members:
+
+.. autoclass:: Feedback
    :members:

doc/src/modules/solvers/diophantine.rst

@@ -324,7 +324,7 @@ References
 .. [3] Methods to solve Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0,[online],
     Available: http://www.alpertron.com.ar/METHODS.HTM
 .. [4] Solving the equation ax^2+ bxy + cy^2 + dx + ey + f= 0, [online],
-    Available: http://www.jpr2718.org/ax2p.pdf
+    Available: https://web.archive.org/web/20160323033111/http://www.jpr2718.org/ax2p.pdf
 
 User Functions
 --------------

doc/src/modules/solvers/ode.rst

@@ -111,7 +111,8 @@ Bernoulli
 
 Liouville
 ^^^^^^^^^
-.. autofunction:: sympy.solvers.ode.ode::ode_Liouville
+.. autoclass:: sympy.solvers.ode.single::Liouville
+   :members:
 
 Riccati_special_minus2
 ^^^^^^^^^^^^^^^^^^^^^^
@@ -141,7 +142,8 @@ nth_order_reducible
 
 separable
 ^^^^^^^^^
-.. autofunction:: sympy.solvers.ode.ode::ode_separable
+.. autoclass:: sympy.solvers.ode.single::Separable
+   :members:
 
 almost_linear
 ^^^^^^^^^^^^^
@@ -154,7 +156,7 @@ linear_coefficients
 
 separable_reduced
 ^^^^^^^^^^^^^^^^^
-.. autofunction:: sympy.solvers.ode.ode::ode_separable_reduced
+.. autofunction:: sympy.solvers.ode.single::SeparableReduced
 
 lie_group
 ^^^^^^^^^

setup.cfg

@@ -58,6 +58,8 @@ ignore_missing_imports = True
 ignore_missing_imports = True
 [mypy-pymc3.*]
 ignore_missing_imports = True
+[mypy-python-sat.*]
+ignore_missing_imports = True
 [mypy-pytest.*]
 ignore_missing_imports = True
 [mypy-_pytest.*]

setup.py

@@ -93,7 +93,6 @@
     'sympy.crypto',
     'sympy.diffgeom',
     'sympy.discrete',
-    'sympy.equation',
     'sympy.external',
     'sympy.functions',
     'sympy.functions.combinatorial',
@@ -359,7 +358,6 @@ def run(self):
     'sympy.crypto.tests',
     'sympy.diffgeom.tests',
     'sympy.discrete.tests',
-    'sympy.equation.tests',
     'sympy.external.tests',
     'sympy.functions.combinatorial.tests',
     'sympy.functions.elementary.tests',

sympy/__init__.py

@@ -152,8 +152,6 @@ def __sympy_debug():
         inverse_mobius_transform, convolution, covering_product,
         intersecting_product)
 
-from .equation import (Equation, Eqn,)
-
 from .simplify import (simplify, hypersimp, hypersimilar, logcombine,
         separatevars, posify, besselsimp, kroneckersimp, signsimp, bottom_up,
         nsimplify, FU, fu, sqrtdenest, cse, use, epath, EPath, hyperexpand,
@@ -378,9 +376,6 @@ def __sympy_debug():
     'inverse_mobius_transform', 'convolution', 'covering_product',
     'intersecting_product',
 
-    # sympy.equation
-    'Equation', 'Eqn',
-
     # sympy.simplify
     'simplify', 'hypersimp', 'hypersimilar', 'logcombine', 'separatevars',
     'posify', 'besselsimp', 'kroneckersimp', 'signsimp', 'bottom_up',