Code

Add tutorial for adding a new solver#154

Code

Merged

schillic merged 3 commits intomasterJuliaReach/RangeEnclosures.jl:masterfrom schillic/docsJuliaReach/RangeEnclosures.jl:schillic/docsCopy head branch name to clipboardNov 24, 2023

+23-2

Commits

Commits on Nov 24, 2023

• fix variable name in paper

  schillic

  committed
  b77f107

  Copy full SHA for b77f107

• using instead of import in paper

  schillic

  committed
  2142c5b

  Copy full SHA for 2142c5b

• add tutorial for adding a new solver

  schillic

  committed
  3ec567b

  Copy full SHA for 3ec567b