Pyslvs v20.10.0

Features:

• Improve performance of meta-heuristic algorithms.
• New solver backend.

Development:

• Unify "true" and "false" to lowercase in docstring.
• Use "isinstance" instead of "type" for checking types.
• Test suite enhancement.
• Parallelism synthesis.

Known issue:

• Slider input is not finished yet.