MathematicalPredicates.jl
MathematicalPredicates
is a Julia package for defining mathematical predicates.
Library Outline
Related packages
uses this package to represent safety properties.
processes formulas in first-order logic.
provides geometrical predicates.
provides geometrical predicates.