GPU simulator of a family of recognizer P systems with active membranes solving SAT in linear time
Primary LanguageCuda