June 25th, 2019 AMIDOL Meeting - GaloisInc/AMIDOL GitHub Wiki

June 25th, 2019 - AMIDOL Meeting Minutes

• Interpretation of discrete vs. continuous
  • Get paper on Stochiometry to Alec
• Which backend should we target for raw discrete stuff.
• Evolving a system through time.
• Seek out existing solvers.
• Reference interpreters