Este programa fornece suporte para valores simbólicos sem solução para emissão de consultas. Ele é escrito em Haskell e se chama haskell-what4. 