 | PbsugarSolver Pseudo-Booleano Baseado em Sábado |
| Baixe Agora | |
Pbsugar Classificação e resumo
Propaganda
- Licença:
- BSD
- Nome do editor:
- Naoyuki Tamura
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 203 KB
Pbsugar Tag
Pbsugar Descrição
O PBSUGAR é um utilitário gratuito, de código aberto e de linha de comando que permite que você resolva facilmente problemas pseudo-booleanos baseados em SAT. Especificamente, Pbsugar é capaz de resolver problemas da categoria Dec-Smallint-Lin.
Pbsugar Software Relacionado
Processando a biblioteca repentina do sensor de movimento
biblioteca para acessar o sensor de movimento repentino da Apple ...
19 KB
