This python package implements the native features of the language SetlX in Python 3. This package is mainly used by the the setlx2python transpiler.
This includes ordered sets, lists that start at index 1 and most of the native setlx functions.
pip install git+https://github.com/daniel-scholz/setlpy
You can also clone the repository and run the following command in the folder:
pip install -e .