[Synth][FunctionalReduction] Add a newVar interface to SATSolver and use it in FR

April 24, 2026 · #10311
View on GitHub
cpp Difficulty: Medium

Labels

good first issue Synth

Parent Repository

llvm/circt

cpp repository

2,097 459
All Issues Back to circt

Sign in required

Authenticate to use favourites & bookmarks

5