Skip to content

feat(smt): encode features valued by an expression over other features - #1617

Merged
HuiJun merged 7 commits into
developfrom
feat/smt-derived-features
Oct 28, 2026
Merged

feat(smt): encode features valued by an expression over other features#1617
HuiJun merged 7 commits into
developfrom
feat/smt-derived-features

Commits

  1. Commits on Oct 28, 2026