Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

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

história da versão

  • Versão s-sat06.beta1 postado em 2009-02-14
    Várias correções e atualizações
  • Versão s-sat06.beta1 postado em 2009-02-14

Detalhes do programa

Programas Relacionados

  • KJV Bible (fortune format) Grátis

    KJV Bíblia no formato de arquivo da fortuna Unix. Cada *fortuna* é um único verso. Bastante bom para os utilizadores da Unix shell e para aqueles que desejam gerar uma "quote do dia" com cron

  • Algebra Cheat Sheet Grátis

    A Folha de Batota de Álgebra fornece-lhe a referência rápida das fórmulas em Álgebra.Os tópicos incluem:1. Propriedades e Factos Básicos (inclui propriedades de radicais, expoentes, logaritmos, etc.,2. Factoring e resol

  • Word Trainer Grátis

    A forma mais fácil de praticar vocabulário no seu dispositivo Android!Faltando a sua língua materna? Quer acrescentar palavras mais interessantes? Sinta-se livre para contribuir para a base de dados e ajudará outras pesso

  • VOX Compact Spanish + Thesauru Julgamento Gratuito

    Este pacote de software de valor é composto pelo Dicionário Avançado Espanhol Vox e pelo excelente Dicionário de Língua Espanhola Vox. O Dicionário Avançado Espanhol Vox oferece significados, exemplos, expressões e expressõ

  • Zelda all series Cheats Grátis

    **Já atualize o formato de anúncio para o cumprimento da Política do Programa de Desenvolvimento da Google Play**Handy Cheats : Zelda todas as sériesFeaturas da aplicação incluem:-Coleções de Batotas e Códigos para The Legend

  • Sai Satcharitra English Julgamento Gratuito

    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 Grátis

    Esta aplicação inclui Códigos, Batotas, Pokedex, Legendary Pokemon Guide, Form Changes, Top 10 Pokemon By Stat, Dicas e muito mais para Pokemon White 2!*Esta aplicação não é oficial, por favor leia Disclaimer na parte inferio

  • Conquest Flex Viewer Grátis

    ConquestWebView é um visualizador dicom baseado na web para a aplicação de servidor dicom de conquista disponível a partir de http://www.xs4all.nl/~ingenium/dicom.html. O projeto está escrito em PHP e Flex. Note que o sistema

  • Atmel AT90USB 802.11g Wireless Project Grátis

    Este projeto fornece uma solução barata para comunicação sem fios 802.11g usando fora do hardware de prateleira e tecnologias de código aberto. Isto utiliza o micro Atmel AT90USB e o chipset sem fios ZyDas ZD1211B. Desenvolvi

  • LDS Hymns with Notes Julgamento Gratuito

    Esta é uma aplicação 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!Esta aplicação permite-lhe ver os hinos LDS - tanto co