Um problema de satisfação, ou csp, é um problema que pode ser expresso como um conjunto de variáveis, cada um com um domínio específico e um conjunto de relações de restrição entre variáveis. Uma solução para um CSP é uma atribuição de um valor único para cada variável de tal forma que todas as relações de restrição são satisfeitas. Solver csp baseado em consistência é um aplicativo acessível e fácil de usar especialmente projetado para permitir que você crie esse problema e resolva-o usando um algoritmo baseado em consistência com o backtracking.
Solver CSP baseado em consistência Software Relacionado
softwaresea.com fornece o mais recente centro de download de software verde gratuito em casa e no exterior, incluindo software de computador, aplicativo da apple, aplicativo Android e outros downloads de software móvel gratuito para computador. Se você quiser saber mais sobre o software livre verde, baixe-o em softwaresea.com!