Software — free catalog

Floating-Point and Real ChecKer (FPRoCK)

A NASA software catalog entry available for reuse or request.

Find it in the NASA software catalog Open project or source

About this technology

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.

Release notes

Use the blue DOWNLOAD NOW! button for software access