Visualisation of satisfiability using the logic engine

The Logic Engine is an artificial, physical construct that can encode instances of the NAE3SAT problem, a variation of satisfiability. It thus provides an intuitive way of visualizing these normally abstract problems. We introduce a visualisation of the logic engine that is customisable and freely available. Our implementation is available on the web from http://www.it.usyd.edu.au/~carsten/LogicEngine/