I skipped the constraint-solving part, which needs to be exported to Z3.
On Wednesday, May 11, 2016 at 11:36:34 PM UTC-4, Artyom Shalkhakov wrote:
>
> On Thursday, May 12, 2016 at 5:56:56 AM UTC+6, gmhwxi wrote:
>>
>> Adding a 2d-oscillator example:
>>
>>
>>
On Thursday, May 12, 2016 at 5:56:56 AM UTC+6, gmhwxi wrote:
>
> Adding a 2d-oscillator example:
>
>
> http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/oscillator/
>
>
Adding a 2d-oscillator example:
http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/oscillator/
http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/oscillator/oscillator_2d_anim.html
On Wednesday, May 11, 2016 at 7:54:58 PM UTC-4,
Renaming Github to GitHub:
http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/bouncing_ball/
http://www.cs.bu.edu/~hwxi/GitHub/ATS-Postiats-contrib/projects/LARGE/DREACH/SCRATCH/bouncing_ball/bouncing_ball_anim.html