Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding#129

Merged

msakai merged 2 commits intomasterfrom feature/naesat-json-special-var

Dec 5, 2024

+21-14

Commits on Dec 5, 2024

add jVarName and jLitName to ToySolver.SAT.Internal.JSON
msakai
committed
use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding
msakai
committed