Skip to content

GitLab

Issue #46: Add clause propagation 

Signed-off-by: Lucas Fernandes de Oliveira <lfo14@inf.ufpr.br>
1 job for issue/46 in 50 seconds (queued for 8 seconds)
e7a6f836
1 related merge request: !36 Issue #46: Add clause propagation