Search results for rust binary decision diagrams