Skip to content

Allow MacOS

TODO

  • Update the README with MAC specific instructions
  • Copy the NuXMV executable for MacOS
  • Copy the NuSMV with ZCHAFF for MacOS
Edited by Tayef Mahmud Shah