Choco-solver用于約束編程的開源 Java 庫

Choco-solver 是一個(gè)用于約束滿足問題（Constraint Satisfaction Problems）和約束規(guī)劃（Constraint Programming）的 Java 庫。 它建立在一個(gè)可回溯結(jié)構(gòu)的,基于事件的傳播機(jī)制上。  

Choco-solver 隨附：

• 各種類型的變量（整數(shù)、布爾值、集合、圖和實(shí)數(shù)）
• 各種最新的約束條件（所有不同、計(jì)數(shù)、n 值等）
• 各種搜索策略，從基本的（first_fail、最小等）到最復(fù)雜的（基于影響和基于活動(dòng)的搜索）
• 基于說明的引擎，可實(shí)現(xiàn)基于沖突的回跳、動(dòng)態(tài)回溯和路徑修復(fù)。