GitHub repository: soarlab/fpsyn
Created: 2022-03-16T23:48:48Z
Description: Synthesis of rigorous floating-point predicates