ABsolver - Arithmetic and Boolean solver