jonathanvdc/modelverse @ 92c175c81e36b9c92bb455de5e24f7879a526430

ter-fork dari yentl/modelverse

Yentl Van Tendeloo 92c175c81e Fixed the use of BNode to use anonymous namespace as well		9 tahun lalu
..
modelverse_state	92c175c81e Fixed the use of BNode to use anonymous namespace as well	9 tahun lalu
mvs_server	16aea7da03 Initial commit from svn	9 tahun lalu
test	33d337355b Removed tests for UNCERTAIN in the MvS	9 tahun lalu
README.txt	16aea7da03 Initial commit from svn	9 tahun lalu
run_server.sh	16aea7da03 Initial commit from svn	9 tahun lalu

		
				README.txt
			
				This is the Modelverse State reference implementation.