jonathanvdc/modelverse @ 7fefaf9662028989027200db9232b944f3d4a664

Yentl Van Tendeloo 1390111b26 Add rules_per_phase parameter (not yet used)		9 anni fa
..
modelverse_kernel	1390111b26 Add rules_per_phase parameter (not yet used)	9 anni fa
mvk_server	3f766c4b46 Fixed up the generate bootstrap and run local modelverse scripts	9 anni fa
test	8a9f824bc5 Made yield infrastructure more transparent by not unpacking single values from the MvS	9 anni fa
README.txt	16aea7da03 Initial commit from svn	9 anni fa
run_server.sh	16aea7da03 Initial commit from svn	9 anni fa

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.