Commit e7a6f836 authored by Lucas Fernandes de Oliveira's avatar Lucas Fernandes de Oliveira
Browse files

Issue #46: Add clause propagation


Signed-off-by: Lucas Fernandes de Oliveira's avatarLucas Fernandes de Oliveira <lfo14@inf.ufpr.br>
parent 4d5adf56
Pipeline #12194 passed with stage
in 50 seconds