Getting started

There are various ways of editing and running ABS models, in a browser or from the command line.

• Use on-line tools
  • Running the collaboratory locally
• Installing command-line tools
  • Installing dependencies
    • MacOS
    • Windows
    • Linux
  • Using a pre-built ABS compiler
  • Using docker to run the ABS compiler
  • Compiling the ABS compiler from source
  • Installing Crowbar
  • Installing KeY-ABS
• Installing editor support
  • Emacs
  • Atom
  • Visual Studio Code