프로그램별 dischoco.sf.net

분산 제약 조건 프로그래밍을 위한 플레이트폼입니다. 여러 분산 제약 구속 조건 추론 알고리즘이 구현됩니다 (예 : ABT, AFC, 채택, ...). 사용자는 DisChoco로 알고리즘을 쉽게 구현하고 테스트할 수 있습니다. 연락처: red.ezzahir [at] gmail.com