* remove dynamic polynomials

* allow failure on nightly

* added missing ticks in docstring

* added link to webpage in readme (fixes #151)

* fix docstring for constraint-macro (fixes #154)

* added gha workflow

* removed travis/appveyor and updated readme

* commented out failing test

* updated compat for IntervalArithmetic

* trigger workflow

…ing compat) (#202)

* CompatHelper: bump compat for IntervalArithmetic to 0.20, (keep existing compat)

* Update Project.toml

Co-authored-by: CompatHelper Julia <compathelper_noreply@julialang.org>
Co-authored-by: lucaferranti <49938764+lucaferranti@users.noreply.github.com>

* Update CI.yml

* Update CI.yml

* .gitignore

* fix header spaces in NEWS

* remove redundant version in Project.toml

* remove REQUIRE files

* remove .DS_Store

* use isnothing

* minor formatting

* remove IntervalRootFinding

* remove undefined exports

* prepare for making ModelingToolkit an optional dependency

* make ModelingToolkit an optional dependency

* use test/Project.toml

* remove unbound arg

* add coverage badge

* outsource ModelingToolkit tests

* add CI runs in older Julia versions

* Add source files for rewrite

* Add basic examples

* Add ConstraintProblem

* Bump versions

* Add model.jl

* update Project.toml and workflow

* Update rewrite branch. Working with Symbolics 5,  IntervalArithmetic 0.20

* Pass nanmath=false to build_function

* Fix action of separator on box

* Require Julia 1.10

* Working with new versions of packages

* Add basic usage and image to readme

* Add boundary to plot

* Fix

* Replace PNG with SVG

* Get tests passing with new API

* Clean up by removing unneeded code and MacroTools dep

* Add back missing files after name change

---------

Co-authored-by: lucaferranti <lucaa.ferranti@gmail.com>