38Ciepło
9Odpowiedz
Pierwsze kroki z programowaniem wiązań
16Ciepło
4Odpowiedz
Czy język programowania Erlang a Constraint-Logic?
5Ciepło
1Odpowiedz
Rozwiązując układ równań w Prologu
8Ciepło
2Odpowiedz
Szukam algorytmu szeregowania reklam radiowych/przykład/doświadczenie
7Ciepło
2Odpowiedz
Układanie puzzle Zebra (aka puzzle Einsteina) przy pomocy biblioteki clpfd Prolog
8Ciepło
1Odpowiedz
Co jest zaletą rozwiązania SMT do rozwiązywania problemów z CSP-solver w rozwiązywaniu ograniczeń?
5Ciepło
2Odpowiedz
Szukasz praktycznych przykładów zastosowań SMT Z3 (jak DbC) i alternatywy open source dla Z3?
8Ciepło
3Odpowiedz
Przykładowe ograniczenia dotyczące przesyłania danych ECLiPSe
14Ciepło
1Odpowiedz
Czy ktoś może sugerować dobrą bibliotekę więzów dla Haskella?