ISLa 1.10.0

[1.10.0] - 2022-01-05

Changed

• Resolves GitHub Issue #36, which in
  essence refers to solving multiple "conflicting" SMT formulas. These are formulas
  whose solutions change subtrees of substitutions in other SMT formulas. Before,
  we did not check that the chosen "priority" formulas are not themselves influenced
  by other formulas. See test case test_issue_36 in test_solver.py.
• Resolves GitHub Issue #39. The count
  predicate now better handles grammars with epsilon productions: If the number of
  "needles" is already reached, it can "finish off" the remaining nonterminals that
  might be instantiated with needle nonterminals if alternative instantiations are
  available.
• Adds the feature requested in GitHub Issue #38:
  one can now pass a start symbol (parameter start_symbol) to the ISLaSolver
  constructor as alternative to the (also optional) initial derivation tree.
• Resolves GitHub Issue #40. The default
  value for formula in ISLaSolver is now None and no longer "true", with the
  same semantics. This means that you can still pass Formula objects and strings,
  but additionally None for the trivially valid constraint.

[1.9.9] - 2022-12-22

Changed

• Improved DerivationTree.to_dot(): Now, nodes at same levels appear at the same
  levels, and the horizontal order of child nodes is retained.