Nathan Fulton

Adds a tool interface for Mathematica's AsymptoticDSolveValue command.

1

This pull request contains an interface for Mathematica's AsymptoticDSolveValue and also exposes a CLI interface to this tool. The roadmap here is to rewrite the series approximation tactics so that...

E.g., as in \forall x (\forall y ((f(x,y)=0 | f(x,y) = 1)))

Maintain the option to specify a local KeYmaera X installation, but use web.keymaerax.org by default to make installation easier.

We should have tests covering the following: - All RL libraries that we claim to support - All of the environments that ship with VSRL - All of the examples...

Move the java path into the configuration file, using java as a default. Check that the java version comports with what KeYmaera X expects. https://github.com/IBM/vsrl-framework/blob/ded48a72af9b413cfa4a99b90e0c5b09a092639b/vsrl/verifier/keymaerax.py#L37