In this paper, we introduce CDL, a software library designed for the analysis of permutations and linear orders subject to various structural restrictions. Prominent examples of these restrictions include pattern avoidance, a topic of interest in both computer science and combinatorics, and "never conditions" utilized in social choice and voting theory. CDL offers a range of fundamental functionalities, including identifying the permutations that meet specific restrictions and determining the isomorphism of such sets. To facilitate exploration of large permutation sets or domains, CDL incorporates multiple search strategies and heuristics.

翻译：本文介绍CDL这一软件库，该库旨在分析受各种结构限制的排列和线性顺序。这些限制的典型例子包括模式回避（计算机科学和组合学中共同关注的主题）以及社会选择与投票理论中使用的"禁止条件"。CDL提供了一系列基础功能，包括识别满足特定限制的排列、确定此类排列集的同构性。为支持对大规模排列集或定义域的探索，CDL集成了多种搜索策略与启发式方法。