Leader badge

A Binary Decision Diagram library, with :
many highly efficient vectorized BDD operations,
dynamic variable reordering,
automated garbage collection,
a C++ interface with automatic reference counting,
and much more.

Project Activity

See All Activity >

Categories

Electronic Design Automation (EDA), Mathematics

License

Public Domain

Follow buddy

buddy Web Site

You Might Also Like
Employee monitoring software with screenshots Icon
Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely

Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.
Learn More
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
7
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:
★★★★

There are no 4 star reviews.

Additional Project Details

Operating Systems

Linux, BSD

Languages

English

Intended Audience

Information Technology, Science/Research, Developers

Programming Language

C++, C

Related Categories

C++ Electronic Design Automation (EDA) Software, C++ Mathematics Software, C Electronic Design Automation (EDA) Software, C Mathematics Software

Registered

2004-06-22
Report inappropriate content