NRR

Public entry point for the Nandakumar-Ramana Rao formalization.