cpatuzzo·पिछला वर्ष·discussI tried to write a programming language that compiles to SAT many years ago: https://sentient-lang.org/
cpatuzzo·2 वर्ष पहले·discussA software implementation of Lee Sallows' Pangram Machine from his paper 'In Quest of Pangram'.