论文标题
XCSP3核：用于表示约束满意度/优化问题的格式
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
论文作者
论文摘要
在本文档中，我们介绍了XCSP3核，这是XCSP3的子集，使我们能够表示约束满意度/优化问题。 XCSP3核的兴趣是多重的：（i）专注于最受欢迎的框架（CSP和COP）以及约束，（ii）通过专用的XCSP3核对器来促进解析过程，用Java和C ++（使用回调功能），（III），（III），（iii）和complatessssssssssssssssssssssssssssssssssssss（使用回调功能）（使用回调功能）。
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems. The interest of XCSP3-core is multiple: (i) focusing on the most popular frameworks (CSP and COP) and constraints, (ii) facilitating the parsing process by means of dedicated XCSP3-core parsers written in Java and C++ (using callback functions), (iii) and defining a core format for comparisons (competitions) of constraint solvers.
