| Funsat. Um solucionador de sábado moderno estilo Dpll |
Baixe Agora |
Funsat. Classificação e resumo
- 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