Skip to content

v1.4.0

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 10 Nov 08:51
96fbdfa

ConstraintTrees v1.4.0

Diff since v1.3.0

Merged pull requests:

  • this part of docs has disappeared (#43) (@exaexa)
  • make substitute() work for whole constraint trees (#44) (@exaexa)