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

README.txt

This is the Modelverse State reference implementation.