Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. S-SAT - Sapienza SAT
  5. Download

S-SAT - Sapienza SAT 06

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos

Sobre S-SAT - Sapienza SAT

Durante um curso na University "La Sapienza" em Roma desenvolvi um solucionador sat totalmente trabalhador baseado na propagação e retrocesso da unidade; ele pode ler arquivos DIMACS e processar fórmulas cnf de qualquer comprimento (não há restrições no número de literais).

Programas Relacionados

  • KJV Bible (fortune format) Livre

    Bíblia KJV em formato de arquivo de fortuna Unix. Cada *fortuna* é um único verso. Muito bom para usuários de shell Unix e aqueles que desejam gerar uma "cotação do dia" com cron

  • Algebra Cheat Sheet Livre

    A Folha de Trapaça de Álgebra fornece-lhe a referência rápida de fórmulas em Álgebra.Os tópicos incluem:1. Propriedades Básicas e Fatos (inclui propriedades de radicais, expoentes, logaritmos etc.,2. Equações de factori

  • Word Trainer Livre

    A maneira mais fácil de praticar vocabulário em seu dispositivo Android!Sentindo falta da língua materna? Quer acrescentar palavras mais interessantes? Sinta-se livre para contribuir com o banco de dados e você ajudará ou

  • VOX Compact Spanish + Thesauru Avaliação gratuita

    Este pacote de software de valor consiste no Vox Spanish Advanced Dictionary e no excelente Vox Spanish Language Thesaurus. O Vox Spanish Advanced Dictionary oferece significados, exemplos, expressões e expressões e é ideal

  • Zelda all series Cheats Livre

    **Já atualize o formato de anúncio para cumprir a política do programa de desenvolvedores do Google Play***Handy Cheats : Zelda todas as sériesAs assinaturas do aplicativo incluem:-Coleções de Trapaças e Códigos para The Lege

  • Sai Satcharitra English Avaliação gratuita

    Agora também disponível em hindi - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiOm Shree Sainathaya Namah!!!Satcharitra de Shirdi Sai Baba em inglês - 52 Capítulos incluindo Aarti e Epílogo.Satch

  • Pro Cheats Pokemon White 2 Edn Livre

    Este app inclui Códigos, Trapaças, Pokedex, Guia Pokemon Lendário, Mudanças de Formulário, Top 10 Pokemon By Stat, Dicas e muito mais para Pokemon White 2!*Este aplicativo não é oficial, leia o Aviso de Isenção de Responsabil

  • Conquest Flex Viewer Livre

    ConquestWebView é um visualizador dicom baseado na Web para o aplicativo de servidor de dicom conquest disponível a partir de http://www.xs4all.nl/~ingenium/dicom.html. O projeto está escrito em PHP e Flex. Observe que o sist

  • Atmel AT90USB 802.11g Wireless Project Livre

    Este projeto fornece uma solução barata para a comunicação sem fio 802.11g usando tecnologias de hardware e código aberto fora da prateleira. Isso usa o micro Atmel AT90USB e o chipset sem fio ZyDas ZD1211B. Desenvolvido por

  • LDS Hymns with Notes Avaliação gratuita

    Este é um aplicativo não oficial com a música da Igreja de Jesus Cristo dos Santos dos Últimos Dias!Apresenta os hinos LDS em inglês, espanhol, francês e português!Este aplicativo permite que você visualize os hinos LD