Last released Mar 12, 2021
Analyze Python code for correctness using symbolic execution.
Last released Mar 28, 2020
A fork of the Z3 SMT solver library for use in CrossHair.
Last released Feb 7, 2017
A library for incremental, in-memory map-reduces
Supported by