This repository contains the sources for building a Java library
(cprover-api.jar) that allows access to the CProver API of the Java
model checking tool
JBMC.
This library exposes functionality such as assume or nondetInt, which are useful for modelling verification harnesses for Java applications.