yentl/modelverse @ e49c05a359cc188992a8d7cc5815613db3cd50eb

Yentl Van Tendeloo 3cafe4617e Removed tests for UNCERTAIN in the MvS		пре 9 година
..
modelverse_state	e48f2a13fe Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem	пре 9 година
mvs_server	e527d9b485 Initial commit from svn	пре 9 година
test	3cafe4617e Removed tests for UNCERTAIN in 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 State reference implementation.