Skip to content
Snippets Groups Projects

solve_proper: add support for subrelation

Passed
Ralf Jung created pipeline for commit dfda0cba
, finished
Related merge request !495 to merge ralf/solve-proper-subrelation
5 minutes 1 second, queued for 3 seconds