Repository navigation

CUDD Release 4.0 - #10

Closed

doganulus wants to merge 5 commits into

mainfrom

Closed

CUDD Release 4.0#10
doganulus wants to merge 5 commits into
mainfrom
develop

Commits on Jul 23, 2025
- Add CMake Build Support (#9)
  doganulus
  authored
  673d772
- Includes `stdio.h` in cudd.h such that it type checks on its own (#14)
  
  ssoelvsten
  and
  nhusung
  authored
  8b79e46
- feat/ZDD API (#13)
  ssoelvsten
  authored
  6c503a4
- Add `Cudd::makeBddNode()` (#12)
  ssoelvsten
  authored
  f876853
- feat/ADD API (#11)
  
  ssoelvsten
  and
  nhusung
  authored
  cd03687