andrei/modelverse @ d932e9a6eee85ee9150861dc8b67dcf692834a98

Yentl Van Tendeloo 8663342c2a Add rules_per_phase parameter (not yet used)		9 år sedan
..
modelverse_kernel	8663342c2a Add rules_per_phase parameter (not yet used)	9 år sedan
mvk_server	2dcc9ab711 Fixed up the generate bootstrap and run local modelverse scripts	9 år sedan
test	89dd8f3e03 Made yield infrastructure more transparent by not unpacking single values from the MvS	9 år sedan
README.txt	e527d9b485 Initial commit from svn	9 år sedan
run_server.sh	e527d9b485 Initial commit from svn	9 år sedan

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.