Tutorials

These tutorials help you familiarize with different parts of Paramita. They follow a step-by-step approach, gradually introducing core concepts and building toward more advanced usage.

Who this section is for

This section is intended for users who want to:

• get an overview of Paramita’s features
• learn by building progressively
• develop intuition for how the framework is used

What you will learn

Across these tutorials, you will learn how to:

• model problems using Paramita’s core abstractions
• manipulate and transform logical formulas
• interact with solvers and interpret results
• implement solving algorithms using Paramita's capabilities

Each tutorial focuses on a specific aspect of the system.

Suggested progression

You are encouraged to follow the tutorials in order:

1. Problem modelling

   • Modelling a decision problem
   • Modelling an optimization problem

2. Advanced solving techniques

   • Implementing the Linear MaxSAT solver
   • Generating cubes with propagators

Next steps

If you are looking for implementation details or want to extend Paramita, check How-to Guides