[Diff since v0.13.0](v0.13.0...v0.14.0)

**Merged pull requests:**
- Rewrite the package to use Symbolics and ReversePropagation (#212) (@dpsanders)

**Closed issues:**
- Efficient version of separator  (#6)
- Swap out and in in sepators? (#34)
- Allow parameters in constraints (#41)
- Allow reusing local variables (#60)
- Clean up code by introducing `VariableSet` type (#69)
- Rewrite backward function code generation (#71)
- Backward functions as inverses (#82)
- Allow expressions of the form `y == exp(x)` (#90)
- Allow pave for a Vector of separators (#93)
- Replace parsing with Espresso.jl! (#96)
- `@function` should respect the order in which arguments are specified (#111)
- Unify `@function` and `@contractor` (#113)
- Make standard functions work without macros (#127)
- Allow parameters in Contractor (#140)
- Output has too many parentheses (#143)
- Contractor((x,y) -> x) does not work (#144)
- Use macro for code generation  (#148)
- Bugs with Separator and ModelingToolkit (#150)
- Paving incorrect for transcendental example from ACM TOMS paper on Filib++ (#167)
- Update to using Symbolics (#172)
- Allow constraints like x > 0 (#174)
- Removing `refine!` from export list (#208)
- StackOverflow with sin (#213)
- Non-empty inner set for `y == log(x)` (#214)

## IntervalConstraintProgramming v0.13.0

[Diff since v0.12.4](v0.12.4...v0.13.0)


**Merged pull requests:**
- Update CompatHelper.yml (#206) (@lucaferranti)
- Update CI.yml (#207) (@lucaferranti)
- Make ModelingToolkit optional - alternative (#210) (@schillic)
- Update README.md (#211) (@schillic)

## IntervalConstraintProgramming v0.12.4

[Diff since v0.12.3](v0.12.3...v0.12.4)



**Merged pull requests:**
- CompatHelper: bump compat for IntervalArithmetic to 0.20, (keep existing compat) (#202) (@github-actions[bot])

## IntervalConstraintProgramming v0.12.3

[Diff since v0.12.1](v0.12.1...v0.12.3)


**Closed issues:**
- Add documentation for using ModelingToolkit (#151)
- Problem with external constant for the macro @constraint (#154)
- Document function macro (#168)
- Remove use of DynamicPolynomials (#176)
- TagBot trigger issue (#178)

**Merged pull requests:**
- added missing ticks in docstring (#175) (@lucaferranti)
- remove dynamic polynomials.  fixes #176  (#177) (@lucaferranti)
- migrate to gha (#179) (@lucaferranti)
- updated compat for IntervalArithmetic (#188) (@lucaferranti)

## IntervalConstraintProgramming v0.12.1

[Diff since v0.12.0](v0.12.0...v0.12.1)


**Closed issues:**
- Problem with external constant for the macro @constraint (#154)
- Package is broken due to changes in ModelingToolkit (#162)

**Merged pull requests:**
- Fix docs deployment (#153) (@dpsanders)
- Install TagBot as a GitHub Action (#157) (@JuliaTagBot)
- $ to `` and update docs packages (#158) (@Wikunia)
- Add torus example (#159) (@dpsanders)
- Torus example (#160) (@dpsanders)
- Revert "Add torus example" (#161) (@dpsanders)
- Fix separators (#164) (@dpsanders)
- Update Project.toml (#165) (@dpsanders)

See github.com/JuliaIntervals/IntervalConstraintProgramming.jl/releas…

…es/tag/v0.12.0 for release notes

See github.com/JuliaIntervals/IntervalConstraintProgramming.jl/releas…

…es/tag/v0.11.0 for release notes

making module compatible for version 1.0 onwards (#126)

* making module compatible for version 1.0 onwards

* made corredtion in News.md

Update index.md (#116)

Fix broken link and add link to `IntervalConstraintProgrammingNotebooks`.

NEWS for 0.9 (#106)