Landini is a symbolic logic calculator.