This program is a simple wrapper around AtelierB bcomp that I use to typecheck B programs in Vim (see https://github.com/rsaill/vim-b).