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

README.txt

This is the Modelverse State reference implementation.