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.