Floating-Point and Real ChecKer (FPRoCK)(LAR-19553-1)
aeronautics
Floating-Point and Real ChecKer (FPRoCK)
(LAR-19553-1)
Overview
FPRoCK (Floating-Point and Real ChecKer) is a tool that decides the satisfiability of a set of mixed real and floating-point constraints. If this set of constraints has at least one solution, it returns one of the solutions, otherwise it returns UNSAT indicating that the set is unsatisfiable.
Notes: Use the blue DOWNLOAD NOW! button for software access
Software Details
Category
Aeronautics
Reference Number
LAR-19553-1
Release Type
Open Source
Operating System
Linux, OS X
