Contents:
Reference
The implementation of percy was inspired by Mathias Soeken’s exact synthesis implementation in ABC. A special thanks also goes out to Alan Mishchenko for inspiring discussions and ideas.