Cleanup current documentation

GaloisInc / AMIDOL

Scientific model creation toolset.

BSD 3-Clause "New" or "Revised" License

12 stars 4 forks source link

Cleanup current documentation #4

Open ewdavis opened 5 years ago

ewdavis commented 5 years ago

Clean up AMIDOL documentation and specification for sharing with collaborators. Should include documentation of VDSOL definition, IR specification, and solver targets.