This script is solving set problems by brute-force. See HOWTO.

HOWTO

Use python3.10 or newer. Download it here.

"python.exe" -m pip install SetSolver1

First import the module:

import SetSolver1

Now you can use the method:

SetSolver1.search(const_dict: dict[str, set[frozenset | int | tuple] | MathSet] | ConstDictType,
           result: set[frozenset | int | tuple] | MathSet | ResultType,
           not_allowed: list[MODE] = None,
           identity: RelationMathSet | None = None,
           overflow: int = 30,
           range_int: int = 20,
           do_print: bool = True) -> ResultWay | None

Where const_dict is a dictionary for the predefined constants and result is the wanted solution. With the method search you can find probably the shortest way to this solution by the predefined constants and normal set operations. With this method you will get an ResultWay object back.

little example:

import SetSolver1

# Here you set your predefined constants.
# Please make sure that you do not assign a variable letter twice.
# Python dictionaries will otherwise only store the last value and overwrite the previous ones.
const_dict = SetSolver1.SimpleMathSetConstDictType(
    {
        "A": {frozenset({2, frozenset()}), frozenset({5})},  # string "[[2, []],[5]]" is allowed too
        "B": {frozenset(), frozenset({3}), frozenset({5})}
    }
)

# Here you set your wanted solution.
result = SetSolver1.SimpleMathSetResultType({frozenset(), frozenset({3}), frozenset({5}), frozenset({frozenset()})})

output = SetSolver1.search(const_dict, result)

More examples are here See German examples explanation here with outputs.

Requirements

• python3.10 required

Credits

• https://stackoverflow.com/a/25823885

• https://stackoverflow.com/a/13149770

• https://stackoverflow.com/a/176921

• https://stackoverflow.com/a/24065533

• https://stackoverflow.com/a/33945518

• https://stackoverflow.com/a/56143543

• https://stackoverflow.com/a/40876432

• https://stackoverflow.com/a/30986796

• https://stackoverflow.com/a/24261311

• https://stackoverflow.com/a/3274100

• https://stackoverflow.com/a/26576036

• https://stackoverflow.com/a/1482316

• https://stackoverflow.com/a/16543406

• https://stackoverflow.com/a/28845328

• https://stackoverflow.com/a/5931299

• https://stackoverflow.com/a/15768778

• https://stackoverflow.com/a/403426

• https://stackoverflow.com/a/11324771

• https://stackoverflow.com/a/30676267 / https://stackoverflow.com/a/35781654

• https://stackoverflow.com/a/25176504

• https://stackoverflow.com/a/61841955

• https://stackoverflow.com/q/17843785

• https://stackoverflow.com/a/33533514

• https://stackoverflow.com/a/4005412

• https://stackoverflow.com/a/4932473

• https://stackoverflow.com/a/2626364

• https://stackoverflow.com/a/18138687

• https://stackoverflow.com/a/27761524

• https://stackoverflow.com/a/3787481

• Enum: https://stackoverflow.com/a/1695250

• Append values to set: https://stackoverflow.com/a/3392370

• fastest way to sort a set: https://stackoverflow.com/a/13605607