GitHub repository: 1998apoorvmalik/rna-design-sat-reduction
Primary language: Python
Description: This repository contains my project work for reducing a RNA design problem to SAT and then using a SAT solver (pysat) to get the solution.