mantipython Python implementation of manticore by Kevin Rauch (C++) This is a continuation of the mantipython software from the helpss repository. For complete history, see commits in that repository before this date.