search

TUMcps / CORA

Toolbox for Reachability Analysis
GNU General Public License v3.0
108 stars 35 forks source link

Update and.m #18

Closed fawadkhanf3 closed 2 years ago

fawadkhanf3 commented 3 years ago

a small bug

wetzlingerm commented 2 years ago

Thanks for catching this bug!