cpatuzzo·vorig jaar·discussI tried to write a programming language that compiles to SAT many years ago: https://sentient-lang.org/