用於分散式約束程式設計的板狀。實現了幾種分散式約束推理演算法（如 ABT、AFC、採用等）。用戶可以輕鬆地使用 DisChoco 實現和測試其演算法。聯繫人： red. ezzahir@at\gmail.com
