DEPS Studio user manual

Using the DEPS language requires to have a software tool.

The DEPS Studio IDE is designed to be a modeling and solving environment including amongst other things:

• a multi-model editor,

• a package manager,

• an ahead-of-time compiler,

• a mixed-domain purpose-built constraint solver.

When DEPS Studio is started, several windows appear on the screen:

• the menu bar at the top of the screen,

• the project manager window on the left,

• a central multi-window area for editing .deps and .proj files,

• a window on the right for messages,

• a window at the bottom for compilation errors.

Contents:

• Installing DEPS Studio
  • Windows
• Managing a project
  • Structure of a project
  • Opening, saving and closing an existing project.
  • Creating and closing a new project
• Editing the packages
• Compiling a project
• Solving the problem
  • How the solver works
  • Setting the solver options
  • Running the solver
  • Dealing with the results
• Using external solvers
  • Using a flat modeling language
  • Using a library