GitHub repository: nasa/FPRoCK
Primary language: Python
Created: 2019-03-04T21:07:43Z
Description: FPRoCK is a software library for checking 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.