Index of /rcsed/data1/kirg/hscpipe8_native/python/current/pkgs/pycosat-0.6.3-py37h14c3975_0/info/test

	Name	Last modified	Size	Description
	Parent Directory		-
	qg3-08.cnf	2017-09-17 17:44	136K
	run_test.py	2018-07-05 19:46	610
	sudoku.py	2017-09-17 17:44	3.9K
	uf20-098.cnf	2017-09-17 17:44	1.1K