An implementation for discovering non-terminating inputs (NTI) for multi-path polynomial programs (MPPs)
No one’s star this repository yet.