jonathanvdc/modelverse @ 10c0ae42ae7864a8aeed1beb1544a46d5f4cb3eb

Yentl Van Tendeloo 33d337355b Removed tests for UNCERTAIN in the MvS		%!s(int64=9) %!d(string=hai) anos
..
modelverse_state	d8b0642b31 Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem	%!s(int64=9) %!d(string=hai) anos
mvs_server	16aea7da03 Initial commit from svn	%!s(int64=9) %!d(string=hai) anos
test	33d337355b Removed tests for UNCERTAIN in the MvS	%!s(int64=9) %!d(string=hai) anos
README.txt	16aea7da03 Initial commit from svn	%!s(int64=9) %!d(string=hai) anos
run_server.sh	16aea7da03 Initial commit from svn	%!s(int64=9) %!d(string=hai) anos

		
				README.txt
			
				This is the Modelverse State reference implementation.