This repository has been archived by the owner on Jan 17, 2024. It is now read-only.

Add support for different propagators #6

Closed

dgzlopes opened this issue Mar 18, 2021 · 0 comments · Fixed by #10

Labels

Priority: High Status: Available Type: Enhancement

Member

dgzlopes commented Mar 18, 2021

No description provided.

dgzlopes mentioned this issue

Add support for multiple propagators #10

Merged

simskij added Priority: High Status: Available Type: Enhancement labels

dgzlopes closed this as completed in #10

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.