lucas/modelverse: Code repository for master thesis about example-driven DSML design @ 6ec04617ff99fd87ec2b5256c695b523e5bae6fb

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

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.