add src/maxsatverify.hs