Nice to see this! I was writing about this topic 25 years ago: https://www.flipcode.com/archives/Theory_Practice-Issue_01_C...
And part two: https://www.flipcode.com/archives/Theory_Practice-Issue_02_C...
github repo: https://github.com/cairnc/sat_blog
And part two: https://www.flipcode.com/archives/Theory_Practice-Issue_02_C...