ACE est un solveur de contraintes open-source développé en Java. Ce solveur reconnaît notamment le format XCSP3 qui est utilisé pour représenter les instances de problèmes combinatoires sous contrainte (de type CSP, pour Constraint Satisfaction problem), et de type COP, pour Constraint Optimization Problem).

ACE se focalise en particulier sur :

  • les variables entières, y compris les variables booléennes (0/false ou 1/true) ,
  • les contraintes en extension, basées sur des structures de tables et de diagrammes de décision,
  • les contraintes globales populaires (AllDifferent, Count, Element, Cardinality, Cumulative, etc.),
  • les heuristiques de recherche (wdeg, last-conflit, BIVS, solution-saving, etc.),
  • l’optimisation monocritère


MIT    Toute catégorie    Logiciels pérennes    Prouveurs CSP & SAT