Definitions for "gaol "
A place of confinement, especially for minor offenses or provisional imprisonment; a jail.
An institution for the imprisonment of felons and debtors. RCHME. Clifford's Tower may have been used as a gaol during the medieval period.
a correctional institution used to detain persons who are in the lawful custody of the government (either accused persons awaiting trial or convicted persons serving a sentence)
Gaol is a C++ library for interval arithmetic. It is designed to be fast and easy to use. It offers "relational" versions of common functions, which can be used to implement some algorithms for interval constraint solvers.