AddressbookSearch
addressbooksearch - módulo e classe realbasic que facilitam a obtenção de informações de pessoas via catálogo de endereços ...
18 KB
 | Açúcarum solucionador de restrição baseado em SAT |
| Baixe Agora | |
Açúcar Classificação e resumo
Propaganda
- Licença:
- BSD
- Preço:
- FREE
- Nome do editor:
- Naoyuki Tamura
- Site do editor:
- http://bach.istc.kobe-u.ac.jp/tamura.html
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 603 KB
Açúcar Tag
Açúcar Descrição
O açúcar é um solucionador livre e aberto de um problema de satisfação de restrição linear finito (CSP) ou um problema de otimização de restrição (COP) .sugar codifica os problemas em um problema de teste de satisfação booleano (SAT) e resolve o problema do SAT usando um problema externo Sat solver. A ferramenta de açúcar emprega um novo método de codificação de satan chamado "codificação de ordem". Na codificação de encomenda, uma comparação x
Açúcar Software Relacionado
VOIDFILLPHP.
VOIDFILLPHP - AppleScript adiciona conclusão do código PHP para bbbedit (foi completepephp) ...
149 KB
Flash MX Glossário para BBDIT
Flash MX ActionScript para BBDIT fornece todas as vantagens da codificação de arrastar e soltar do ActionScript dentro do bbbedit ...
136 KB