yentl/modelverse @ 5f44ca70e8fac45130a049b313f9efca2cbcc7bd

Yentl Van Tendeloo 5f44ca70e8 Fixed the use of BNode to use anonymous namespace as well		9 年之前
..
modelverse_state	5f44ca70e8 Fixed the use of BNode to use anonymous namespace as well	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.