Maven Repository: io.github.p-org.solvers » pjbdd

PJBDD

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

Ranking

#487936in MvnRepository

HomePage https://gitlab.com/sosy-lab/software/paralleljbdd/ 🔍 Inspect URL

Links

Latest Versions

Central (3)

	Version	Vulnerabilities	Usages	Date
1.0.x	1.0.10-10		0	Oct 31, 2022
	1.0.10-10-v5		1	Nov 01, 2022
	1.0.10-10-v1		0	Oct 31, 2022