A solver for Quartus, written in a two-day-learner's Haskell.