JuliaReach / MathematicalPredicates.jl

Predicate definitions in Julia

Home Page:https://juliareach.github.io/MathematicalPredicates.jl/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

MathematicalPredicates.jl

Documentation Status Community License
docs-dev CI codecov zulip license

MathematicalPredicates is a Julia package for defining (mathematical) predicates.

Resources

Installing

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 <backspace>).

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

About

Predicate definitions in Julia

https://juliareach.github.io/MathematicalPredicates.jl/

License:MIT License


Languages

Language:Julia 100.0%