O haskell-presburger é um programa que permite a realização de procedimentos de decisão para problemas de aritmética linear sem quantificadores. Ele é capaz de verificar a satisfabilidade de fórmulas matemáticas que envolvam somente operações com números e sinais de igualdade  ou desigualdade. É uma ferramenta útil para a resolução de problemas em áreas como a teoria da computação e a inteligência artificial. 