GNU/Linux • foot • bash 4 views

https://github.com/RetroDev256/redstone_sat is a program I made that will take a description of a redstone circuit you want to create (eg. an exclusive XOR gate) and SAT-solve it. I recorded the complete build and run process of that program here.