josephvalencia/pk-sat
Final project CS 517 @ Oregon State. SAT/SMT implementation of RNA structure prediction with pseudoknots.
Python
Stargazers
No one’s star this repository yet.
Final project CS 517 @ Oregon State. SAT/SMT implementation of RNA structure prediction with pseudoknots.
Python
No one’s star this repository yet.