GitHub repository: JuliaSoft/BeeDeeDee
Primary language: Java
Description: A library for multithreaded binary decision diagrams