USER'S GUIDE

  • AIMMS Basics
  • Creating and Managing a Model
  • Data Management
  • AIMMS and Solvers
    • AIMMS IDE
    • Solvers
      • BARON
      • CBC
      • CONOPT
      • COPT
      • CP Optimizer
        • CP Optimizer
        • CP Optimizer to AIMMS Mapping
        • AIMMS to CP Optimizer Mapping
        • CP Optimizer Options
          • General
          • Inference
            • Alldiff Inference Level
            • Cardinality Encoding
            • Count Inference Level
            • Default Inference Level
            • Element Inference Level
            • Parallel Resource Inference Level
            • Precedence Inference Level
            • Sequence Encoding
            • Sequence Inference Level
            • Sequential Resource Inference Level
          • Parallel
          • Preprocessing
          • Search
          • Logging
      • CPLEX
      • Gurobi
      • IPOPT
      • KNITRO
      • MINOS
      • ODH-CPLEX
      • PATH
      • SNOPT
      • XA
  • Miscellaneous
User's Guide
AIMMS Logo
  • User's Guide »
  • AIMMS and Solvers »
  • Solvers »
  • CP Optimizer »
  • CP Optimizer Options »
  • Inference
  • Edit on Github

Inference

  • Alldiff Inference Level
  • Cardinality Encoding
  • Count Inference Level
  • Default Inference Level
  • Element Inference Level
  • Parallel Resource Inference Level
  • Precedence Inference Level
  • Sequence Encoding
  • Sequence Inference Level
  • Sequential Resource Inference Level
Last updated: Aug 28, 2025

Help & Feedback

Docs

Edit this page to fix an error or add an improvement in a pull request
Create an issue to suggest an improvement to this page

Product

Create a topic if there's something you don't like about this feature
Propose functionality by submitting a feature request

Support

Not what you where looking for? Search the docs

Remember we also have Community support

Still having trouble? Reach out to us


Next Previous

AIMMS Logo
Disclaimer Privacy Policy © 1989 - 2026 AIMMS B.V.