search

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris
0 stars 0 forks source link

Make a more robust way of interacting with Z3 #79

Closed jeapostrophe closed 5 years ago

jeapostrophe commented 5 years ago

Monad crashes and script is not very informative