Programming Languages Research Group: Git - Benchmarks_CSolver.git/tree

drwxr-xr-x		..
-rw-r--r--	106	.gitignore	blob \| history \| raw
-rw-r--r--	6972	KillerSudokuGenerator.py	blob \| history \| raw
-rw-r--r--	1939	README.md	blob \| history \| raw
-rw-r--r--	7744	SudokuGenerator.py	blob \| history \| raw
-rw-r--r--	830000	Sudokus.txt	blob \| history \| raw
-rw-r--r--	953	argprocessor.py	blob \| history \| raw
-rwxr-xr-x	1589	bench.sh	blob \| history \| raw
-rw-r--r--	5705	csolversudoku.py	blob \| history \| raw
drwxr-xr-x	-	data	tree \| history
drwxr-xr-x	-	dataset-cs	tree \| history
-rw-r--r--	1934	eval.py	blob \| history \| raw
-rw-r--r--	162	example	blob \| history \| raw
-rw-r--r--	124506	example.cnf	blob \| history \| raw
-rw-r--r--	342	example.killer	blob \| history \| raw
-rw-r--r--	1661	glucose.py	blob \| history \| raw
-rwxr-xr-x	975024	glucose_static	blob \| history \| raw
-rw-r--r--	10576	killerSolver.py	blob \| history \| raw
-rwxr-xr-x	795	parse.sh	blob \| history \| raw
-rw-r--r--	527	result.csv	blob \| history \| raw
-rwxr-xr-x	174	run.sh	blob \| history \| raw
-rw-r--r--	8088	sudokuSolver.py	blob \| history \| raw
drwxr-xr-x	-	testcase	tree \| history