__init__.py
# import atexit
# from pycsp3.solvers.solver import SolverPy4J
#
# @atexit.register
# def end():
# for process in SolverPy4J.processes:
# process.kill()
# SolverPy4J.close()
# import atexit
# from pycsp3.solvers.solver import SolverPy4J
#
# @atexit.register
# def end():
# for process in SolverPy4J.processes:
# process.kill()
# SolverPy4J.close()