053e9b34 · (build pass) added estimation method to federated fb

87b4a3bc · added a condition to check for non-minimality

1c3c5129 · added a condition to force backtrack

35a9524a · added condition to tests that a body variable for a potential alter...

e64534db · (build pass)

51afd0ee · (All tests passing) adding cylic tests, refactoring tracker GRI

737adf2f · (All tests passing) Refactoring incremental GRI completed

c549f70f · Refactoring incremental GRI

4da333f6 · Refactoring incremental GRI

87c7bb16 · Adding a mechanism for writing to csv.

f7e48446 · Merge remote-tracking branch 'origin/187-add-explanation-module' in...

1958d44e · Using soft references and weak hash maps in the SameObjectTermFacto...

51338ec5 · renamed uris

f1289502 · improved provenance solver, still requires some smart/faster backtr...

b034046f · Updated the NaiveDynamicScheduler so that it takes into account man...

514f8f4c · Merge remote-tracking branch 'origin/187-add-explanation-module' in...

9db14ba3 · added condition to filter useless triggers whose body image include...

67ee247c · added check on the encoder

fc93209a · updated test

710639ca · (All tests passing) protocols