Programy według dischoco.sf.net

Form plateform do programowania ograniczeń rozproszonych. Zaimplementowano kilka algorytmów rozumowania ograniczeń rozproszonych (takich jak ABT, AFC, Adopt, ...). Użytkownicy mogą łatwo zaimplementować i przetestować swoje a