SAT like solver

start

Examples: puzzle 1 -- puzzle 2 -- puzzle 3 -- mini Sudoku -- puzzle 4 -- puzzle 5 -- HE^2 = SHE

        A   B
       /|\ /|\
      / | X | \
     /  |/ \|  \
    C - D - E - F
     \  |\ /|  /
      \ | X | /
       \|/ \|/
        G   H
no connection puzzle

Solve

Study the examples for permissive syntax, no empty lines; Use * for multiply 3*3=9, ** for to-the-power 3**3=27; A few Math.~ methods can be shortened eg abs(A-B), when in doubt use Math.pow(3,3) etc...