Successor to PolyBoRi

WWW: https://github.com/malb/m4ri
