run_test.py 43 B

123
  1. print("import: 'pycosat'")
  2. import pycosat