alex tokens.x
happy grammar.y 
ghc --make -Wall Main -o satsolve