GPU simulator of a family of recognizer P systems with active membranes solving SAT in linear time
Primary LanguageCuda
No issues in this repository yet.