Skip to main content

Browse the archive

Raw File
__init__.py 

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