To codegen arithmetic and binary BDD circuits for arbitrary width inputs, first set word_size parametes in main.rs (i.e. word_size = 32). Then execute cargo run --release.
The codegen files are available at target/codegen.
The codegen circuits are compatible for execution with poulpy FHE library.