Explorer: efficient DNA coding by De Bruijn graph toward arbitrary local and global biochemical constraints | Synapse