Visualisation of satisfiability using the logic engine
Colin Murray, Carsten Friedrich · 2005
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