The binding of DNA can be expressed in networks to build the next generation of logic gates. Researchers will simulate experiment outcomes to reduce resource waste using this web tool, which seeks to solve an NP-complete problem using a SAT solver.