This is an OCaml implementation of the Plotkin's 3 Counter Machine
$ make
$ ./main.byte -input VALUE test.3cm
where
VALUE is an integer (value of x)
test.3cm is a test file
One may use an option "-trace" to trace the execution.
use an option "-parity" to execute the parity analysis, use an option "-interval" to execute the interval analysis