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

drwxr-xr-x		..
-rw-r--r--	61	.gitignore	blob \| history \| raw
-rw-r--r--	605	Makefile	blob \| history \| raw
-rwxr-xr-x	1329	bench.sh	blob \| history \| raw
-rw-r--r--	820	common.h	blob \| history \| raw
-rw-r--r--	5318	inc_solver.cc	blob \| history \| raw
-rw-r--r--	1502	inc_solver.h	blob \| history \| raw
-rw-r--r--	13243	nqueens.cc	blob \| history \| raw
-rw-r--r--	1083	nqueens.py	blob \| history \| raw
-rwxr-xr-x	606	parse.sh	blob \| history \| raw
-rw-r--r--	43	result.csv	blob \| history \| raw
-rw-r--r--	524	solver_interface.h	blob \| history \| raw