We found the following 2 published projects which all share the keyword consisting amongst their description of software or software methods used.

Title
Compact Logic Gate Networks
Neural Network Exploration of the Trade-off Between Synthesis Time Reduction and Multiple Error Correction in DNA Data Storage