Home l Brama Tool l Download l Our Demonstrations l Documentation l Links l Contact  


Download Brama

History of the Versions

  • 0.0.15:
    • Correction of a bug preventing the operations of schedulers under MacOS
    • Addition of a button to sort variables in the animator.
    • Addition of an “animate” button for *.mch and *.ref files. This command converts B files into rodin files and launches the animator on the converted file.
  • 0.0.14:
    • Significant improvement in performance