MathematicalPredicates is a Julia package for defining (mathematical) predicates.
- Release notes of tagged versions
- Release notes of the development version
This package requires Julia v1.0 or later. Refer to the official documentation on how to install and run Julia on your system.
Depending on your needs, choose an appropriate command from the following list
and enter it in Julia's REPL.
To activate the
pkg mode, type
] (and to leave it, type
Install the latest release version
pkg> add MathematicalPredicates
Install the latest development version
pkg> add MathematicalPredicates#master
Clone the package for development
pkg> dev MathematicalPredicates