setup.py

from setuptools import setup


setup(
    name='examples_counterexamples'
)