Final project CS 517 @ Oregon State. SAT/SMT implementation of RNA structure prediction with pseudoknots.
Primary LanguagePython