Skip to content

Factorization of discretionary policy

Finishes #1705 (closed)

Merge request reports