For full documentation and source code of the Native Predicate Solver plugin, check out native-predicate-solver. This Python script serves as a loader for the actual plugin since it is written in C++ ...