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

drwxr-xr-x		..
-rw-r--r--	71	.gitignore	blob \| history \| raw
-rw-r--r--	6652	4x4.dump	blob \| history \| raw
-rw-r--r--	266	Makefile	blob \| history \| raw
-rw-r--r--	1217	Readme.md	blob \| history \| raw
-rw-r--r--	8172	Sudoku.py	blob \| history \| raw
-rw-r--r--	3852	SudokuGenerator.java	blob \| history \| raw
-rw-r--r--	17669	alloy_example_output.xml	blob \| history \| raw
-rwxr-xr-x	1669	bench.sh	blob \| history \| raw
-rw-r--r--	5173	csolversudoku.py	blob \| history \| raw
-rwxr-xr-x	707	difficultgen.sh	blob \| history \| raw
drwxr-xr-x	-	experiment	tree \| history
-rw-r--r--	1653	glucose.py	blob \| history \| raw
-rwxr-xr-x	975024	glucose_static	blob \| history \| raw
-rwxr-xr-x	1324	learn.sh	blob \| history \| raw
-rwxr-xr-x	880008	maple	blob \| history \| raw
-rwxr-xr-x	771	parse.sh	blob \| history \| raw
drwxr-xr-x	-	problems	tree \| history
-rwxr-xr-x	227	run.sh	blob \| history \| raw
-rwxr-xr-x	1016472	sat_solver_mapleComsPs	blob \| history \| raw
-rw-r--r--	790979	satune.smt	blob \| history \| raw
drwxr-xr-x	-	solved	tree \| history
drwxr-xr-x	-	testcase	tree \| history