andrei/modelverse @ d932e9a6eee85ee9150861dc8b67dcf692834a98

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

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.