Current File : /home/inlingua/miniconda3/pkgs/pycosat-0.6.6-py312h5eee18b_2/info/test/run_test.py

print("import: 'pycosat'")
import pycosat