MathematicalPredicates.jl

MathematicalPredicates is a Julia package for defining mathematical predicates.

Library Outline

• Predicates
• • Atom
  • Negation
  • Conjunction
  • Disjunction
• LazySets integration

Related packages

• ReachabilityAnalysis.jl

uses this package to represent safety properties.

• FirstOrderLogic.jl

processes formulas in first-order logic.

• GeometricalPredicates.jl

provides geometrical predicates.

• ExactPredicates.jl

provides geometrical predicates.