Symbolical World

• Algorithm with the improvements (just one not fully implemented).
• Now based on the class SymbolicalArgumentsSet, which abstracts from the physical arguments, allowing a more elastic management of the various copies of the AF and an easier set management.
• Still missing the improvement regarding the preservation of O.

Base Uber

Same as base, with skeletons of improvements.
A few different results.

Base

The base algorithm:

• Workaround for prefSAT
• Optimizations

First improvements

The base algorithm with the easiest improvements:

• Workaround for prefSAT
• Avoid calls of prefSAT, pref and Grounded for small inputs
• Other optimizations