Skip to main content

The Scenic scenario description language.

Project description

Scenic

Documentation Status Tests Status License

A compiler and scenario generator for the Scenic scenario description language. Please see the documentation for installation instructions, as well as tutorials and other information about the Scenic language, its implementation, and its interfaces to various simulators.

For a description of the language and some of its applications, see our journal paper, which extends our PLDI 2019 paper (note: the syntax of Scenic has changed slightly since the PLDI paper, and many features such as support for dynamic scenarios have been added; these are described in the journal paper). Scenic was designed and implemented by Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.

If you have any problems using Scenic, please submit an issue to our GitHub repository or contact Daniel at dfremont@ucsc.edu.

The repository is organized as follows:

  • the src/scenic directory contains the package proper;
  • the examples directory has many examples of Scenic programs;
  • the docs directory contains the sources for the documentation;
  • the tests directory contains tests for the Scenic compiler.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

scenic-2.1.0.tar.gz (332.5 kB view hashes)

Uploaded source

Built Distribution

scenic-2.1.0-py3-none-any.whl (362.4 kB view hashes)

Uploaded py3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page