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

Yentl Van Tendeloo 3cafe4617e Removed tests for UNCERTAIN in the MvS		9 yıl önce
..
modelverse_state	e48f2a13fe Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem	9 yıl önce
mvs_server	e527d9b485 Initial commit from svn	9 yıl önce
test	3cafe4617e Removed tests for UNCERTAIN in the MvS	9 yıl önce
README.txt	e527d9b485 Initial commit from svn	9 yıl önce
run_server.sh	e527d9b485 Initial commit from svn	9 yıl önce

		
				README.txt
			
				This is the Modelverse State reference implementation.