Boolean satisfiability sat solver pdf. True bypass switch reddit. JamesOn Curry 2025. Madebywood.