search

imandra-ai / fix-engine

Imandra FIX Engine
Apache License 2.0
51 stars 3 forks source link

Ewen/adding case split #169

Closed ewenmaclean closed 2 years ago

ewenmaclean commented 2 years ago

adding ITR case split