search

exercism / z3

Exercism exercises in Z3.
https://exercism.org/tracks/z3
MIT License
8 stars 13 forks source link

Update config for two_product and rtos #54

Closed andjam19 closed 3 years ago

andjam19 commented 3 years ago

Update main config for two_product_production_decision (#53) and rtos-static-scheduling (#47)