 | Solver Incremental-SatSimples, Incremental Sat Solvendo como uma biblioteca de Haskell |
| Baixe Agora | |
Solver Incremental-Sat Classificação e resumo
Propaganda
- Licença:
- BSD
- Preço:
- FREE
- Nome do editor:
- Sebastian Fischer
- Site do editor:
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 4 KB
Solver Incremental-Sat Tag
Solver Incremental-Sat Descrição
Solução simples e incremental sentada como uma biblioteca de Haskell Incremental-Sat-Solver é uma biblioteca Haskell gratuita e aberta que fornece uma implementação do algoritmo Davis-Putnam-Logemann-Loveland para o problema de satisfação booleano.Ascremental-Sat-Solver não só permite resolver fórmulas booleanas, mas também Para adicionar restrições e ligações de consulta de variáveis incrementalmente. Requisitos: · GHC.
Solver Incremental-Sat Software Relacionado
