Add Java (JDD) Bindings for CFLOBDD#7

Open

endaytrer wants to merge 4 commits intotrishullab:mainfrom

Commits on Oct 21, 2025

add dynamic library api
Zhenrong Gu
committed

Commits on Oct 24, 2025

add move constructor / assigment to ref_ptr to enable ownership transfer, more API
Zhenrong Gu
committed

Commits on Nov 25, 2025

Add java (JDD) bindings for cflobdd
Zhenrong Gu
committed

Commits on Nov 26, 2025

Merge branch 'trishullab:main' into main
endaytrer
authored