 | Funsat.Um solucionador de sábado moderno estilo Dpll |
| Baixe Agora | |
Funsat. Classificação e resumo
Propaganda
- Licença:
- Freeware
- Preço:
- FREE
- Nome do editor:
- Denis Bueno
- Site do editor:
- http://github.com/dbueno/funsat/wikis
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 40 KB
Funsat. Tag
Funsat. Descrição
Um solucionador de sábado moderno estilo Dpll O Funsat é um solucionador nativo do Haskell Sat que usa técnicas modernas para resolver instâncias SAT. As características atuais incluem literais de dois observados, aprendizagem dirigida por conflitos, retrocesso não cronológica, uma ordem variável dinâmica do VSIDS, e reinicia. A Funsat visa facilitar a incorporação conveniente de um solucionador razoavelmente rápido de Sat como uma repartição de restrição em outras aplicações.Note: Funsat é licenciado e distribuído nos termos da LGPL License. Requisitos: · GHC.
Funsat. Software Relacionado
Pitomnico3k.
Um quadro de código aberto para criar serviços de rede de rede (SOA), integração (EAI) e aplicativos distribuídos no Python 3.0 ...
130 KB
Javeiel.
Plugin JVM que fornece desenvolvimento de java mais rápido, recarregando as alterações feitas em arquivos de classe Java on-the-fly ...
7.8 MB