Relation analyses #30
Description
Analysis performed on many relations are made by custom codes that are not efficient and difficult to maintain.
Most of the analyses can be reformulated as graph analysis. So either use dedicated librairy to perform efficiently these analyses or even use MONOSAT.