Last released Nov 10, 2023
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