This is a quick & dirty C foreign function interface for Biodivine/LibBDD to integrate this BDD library into BDD Benchmark. DO NOT USE THIS FOR PRODUCTION CODE!!!
If you are looking for a BDD library, you might be interested in OxiDD.
This is a quick & dirty C foreign function interface for Biodivine/LibBDD to integrate this BDD library into BDD Benchmark. DO NOT USE THIS FOR PRODUCTION CODE!!!
If you are looking for a BDD library, you might be interested in OxiDD.