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--	208605	alloy_example_output.xml	blob \| history \| raw
-rw-r--r--	1413	argprocessor.py	blob \| history \| raw
-rwxr-xr-x	1780	bench.sh	blob \| history \| raw
-rw-r--r--	9415	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--	10578	killerSolver.py	blob \| history \| raw
-rwxr-xr-x	1093	learn.sh	blob \| history \| raw
-rwxr-xr-x	795	parse.sh	blob \| history \| raw
-rw-r--r--	230	result.csv	blob \| history \| raw
-rwxr-xr-x	227	run.sh	blob \| history \| raw
-rw-r--r--	113103	satune.smt	blob \| history \| raw
-rw-r--r--	8088	sudokuSolver.py	blob \| history \| raw
drwxr-xr-x	-	testcase	tree \| history