atelierb_create_project
Create a new Atelier B project with bdp, lang, and src subdirectories. Specify project name and optional type for formal B development.
Instructions
Create a new Atelier B project in the workspace with bdp, lang, and src subdirectories
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project_name | Yes | Name of the new project | |
| project_type | No | Type of project: SYSTEM (default), SOFTWARE, or VALIDATION | SYSTEM |