10

dir
2
http://splar.googlecode.com/svn/trunk/SPLAR/src/splar/plugins/reasoners/tests
http://splar.googlecode.com/svn



2010-11-10T13:30:15.575041Z
2
marcilio.mendonca














2f283e15-5f80-a62c-534c-72c42afccfff

FMReasoningInterfaceTest.java
file



delete
2012-04-19T06:15:10.690238Z
2d73c6e79899f533ca419eded3a39ac5
2010-11-10T13:30:15.575041Z
2
marcilio.mendonca





















6934

bdd
dir

sat
dir

