Paramita
Links
Initializing search
    • Home
    • Tutorials
      • Modelling and solving the "Light Up" decision puzzle
      • Modelling and solving the "Maximum Profit Project Portfolio" optimization problem
      • Incremental SAT solvers and PB encoders: implementing the Linear MaxSAT solver
      • Generating cubes with propagators
    • How-to Guides
      • Building an external Plugin
        • Creating a Plugin
        • Creating a Plugin: Clause containers
        • Creating a Plugin: Weighted Clause Containers
        • Creating a Plugin: SAT Solver
        • Creating a Plugin: MaxSAT Solvers
        • Creating a Plugin: PbToCnfEncoder
        • Creating a Plugin: CnfToPbDecoder
        • Creating a Plugin: Propagator
      • Manipulating CNF/WCNF formulas
      • Loading and writing CNF/WCNF files
      • Using variable pools
      • Encoding and decoding PB constraints
      • Using a SAT solver
      • Using a MaxSAT solver
    • Understanding Paramita
      • From modelling to formulas
    • Reference
        • Paramita
        • Plugins module
        • Containers module
        • Solvers module
        • Input/Output module
        • Modelling module
        • Encoders module
        • Decoders module
        • Examples module
        • Links
          • Class List
          • Class Index
          • Class Hierarchy
          • Class Members
          • Class Member Functions
          • Class Member Variables
          • Class Member Typedefs
          • Class Member Enumerations
          • Namespace List
          • Namespace Members
          • Namespace Member Functions
          • Namespace Member Variables
          • Namespace Member Typedefs
          • Namespace Member Enumerations
        • Functions
        • Variables
        • Macros
        • Files
      • List of implemented Plugins
    • License
    • Changelog

    Links

    • Related Pages
    • Modules
    • Class List
    • Namespace ListNamespace List
    • Namespace Members
    • Namespace Member Functions
    • Namespace Member Variables
    • Namespace Member Typedefs
    • Namespace Member Enumerations
    • Class Index
    • Class Hierarchy
    • Class Members
    • Class Member Functions
    • Class Member Variables
    • Class Member Typedefs
    • Class Member Enumerations
    • Files
    • File Variables
    • File Functions
    • File Macros
    Made with Material for MkDocs