EvolveGen

(★ 9)

EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)

File Explorer

- c_cpp_properties.json
- settings.json
- - lib.rs
  - main.rs
- - .rustc_info.json
  - CACHEDIR.TAG
- build.rs
- Cargo.lock
- Cargo.toml
- feature_utils.py
- libabc.a
- predict.py
- train.py
- extract_aigs_as_benchmarks.py
- extract_aigs_as_benchmarks.sh
- generate_500_basic.py
- generate_500_basic.sh
- miter_to_btor.py
- - __init__.py
  - epsilon.py
  - random.py
  - thompson.py
  - ucb.py
- banditGen.py
- graph_manager.py
- graph_rules.py
- invalid_action_exception.py
- kairos_pre_processor.py
- main.py
- miter_generator.py
- node.py
- random_graph_manager.py
- random_op_type_generator.py
- random_pragma_generator.py
- random_type_generator.py
- random_width_generator.py
- utils.py
- verilog_post_processor.py
- verilog_processing.py
- vitis_hls_compiler.py
- yosys_compiler.py
- debug_copy.py
- debug_deep_copy.py
- debug_pragma.py
- test_bandit_fuzz.py
- test_bandit_learning.py
- test_banditfuzz_compliance.py
- test_incremental_mutation.py
- test_learning_verification.py
- test_random_graph.py
- test_random_graph_dump_cpp.py
- test_random_graph_dump_cpp_with_pragmas.py
.gitignore
compile_commands.json
README.md
rIC3

1. Get the code

git clone https://github.com/xfzhou01/EvolveGen

Downloads the entire project code from GitHub to your computer.

cd EvolveGen

Moves into the project folder you just downloaded.

Easy Recommended

Prerequisites

pip install networkx numpy matplotlib

Installs the package published on PyPI directly — no need to clone the source.

✅ After installing, open a new terminal and run the program's version command (e.g. --version) to confirm it worked.

Pulled directly from this repo's README.

Medium

Prerequisites

cd early_predictor

This project's files live in a subfolder, so move into it first.

cargo build --release

Compiles the Rust project.

cargo run

Builds and then immediately runs the program.

✅ If cargo build finishes without errors, it worked. The executable is created under target/.