search

zenna / Arrows.jl

14 stars 2 forks source link

Constraints test arrows #116

Closed jburroni closed 6 years ago

jburroni commented 6 years ago

Many changes to the constraint solver:

  1. The graph algorithm was rewritten and extracted in a separate file
  2. cosmetic changes to improve readability
  3. avoid having a hardcoded list of supported functions: compute the inverse dynamically

Additionally, IntMulArrow was included as it's used for the inverse of ModArrow