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

#!/usr/bin/env python
import sys

import pycosat
import test_pycosat


assert pycosat.__version__ == sys.argv[1]

assert test_pycosat.run().wasSuccessful()

assert test_pycosat.process_cnf_file('qg3-08.cnf') == 18
assert test_pycosat.process_cnf_file('uf20-098.cnf') == 5

import sudoku
sudoku.test()