Refactor bool literal encoding in SMTEncoder#16312

Open

soniseth0 wants to merge 1 commit intoargotorg:developfrom

soniseth0:patch-5

Commits on Dec 5, 2025

Update SMTEncoder.cpp

soniseth0
authored and
nikola-matic
committed