https://github.com/oribarilan/thesis

Projects related to my thesis on Approximate MBD via Invariant Synthesis
https://github.com/oribarilan/thesis

Last synced: 4 days ago
JSON representation

Projects related to my thesis on Approximate MBD via Invariant Synthesis

• Host: GitHub
• URL: https://github.com/oribarilan/thesis
• Owner: oribarilan
• Created: 2017-01-14T01:21:58.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-02-03T14:20:34.000Z (almost 7 years ago)
• Last Synced: 2023-03-01T16:02:06.267Z (over 1 year ago)
• Language: Python
• Size: 85.4 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project