ReasoningEngine icon indicating copy to clipboard operation
ReasoningEngine copied to clipboard

Symbolic analysis of discrete dynamical systems

Results 4 ReasoningEngine issues
Sort by recently updated
recently updated
newest added

*.dll files seem to be missing when loading _REInteractiveAPI/ReLoad.fsx_ in the _Examples/REINDotNetInteractive.ipynb_ notebook, run in VS Code. ### **What is run:** ``` #load @"../REInteractiveAPI/ReLoad.fsx" open ReasoningEngine ``` The actual files...

documentation
question

Improved installation steps as part of the readme documentation.

Adds a simple command-line test runner that can be used to run and debug locally, without the need for Jupyter notebooks. Note the changes to `RENotebookApi\RENotebookApi.fsproj`; I'm not sure which...

This would make it much easier for people to use.

help wanted