search

crestdsl / CREST

Continuous REactive SysTems DSL
https://crestdsl.github.io
MIT License
18 stars 2 forks source link

add list type support #2

Closed stklik closed 5 years ago

stklik commented 6 years ago

add functionality in to Z3 so we can deal with lists