Java Core Models Library
========================

This repository contains a version of the Java Class Library (`rt.jar`) that can
be used together with
[JBMC](https://github.com/diffblue/cbmc/tree/develop/jbmc) to
model-check Java code that calls the standard library.
