An attempt to implement a pendulum system which solves 3-SAT using ideas of Matiyasevich.