https://github.com/rakhimov/cudd

CUDD with CMake
https://github.com/rakhimov/cudd

Last synced: 3 months ago
JSON representation

CUDD with CMake

• Host: GitHub
• URL: https://github.com/rakhimov/cudd
• Owner: rakhimov
• License: bsd-3-clause
• Created: 2016-09-04T13:59:04.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-12-05T20:57:45.000Z (about 7 years ago)
• Last Synced: 2024-10-16T06:31:22.623Z (3 months ago)
• Language: C
• Homepage:
• Size: 1.16 MB
• Stars: 3
• Watchers: 4
• Forks: 6
• Open Issues: 6

Awesome Lists containing this project