# ProB

## Logic Calculator

### About the ProB Logic Calculator

This is an online calculator for logic formulas. It can evaluate predicates and formulas given in the B notation. Under the hood, we use the ProB animator and model checker. The above calculator has a time-out of 2.5 seconds, and MAXINT is set to 127 and MININT to -128. An alternative version of the calculator is available at the Formal Mind website. You can also download ProB for execution on your computer, along with support for B, Event-B, CSP-M, TLA+, and Z. There are also 64-bit versions available for Linux and Mac (the above calculator only uses the 32-bit version).

### Troubleshooting

If you face any problem please submit a report to our bug tracking system.

probcli 1.3.6-rc1 (13031)
Last changed: $LastChangedDate: 2013-02-13 17:39:33 +0100 (Wed, 13 Feb 2013)$
Prolog: SICStus 4.2.3 (x86-linux-glibc2.12): Fri Sep 28 10:53:26 PDT 2012