P

PJBDD

A parallel BDD library, based on ideas from Sylvan, written in Java.