Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. PSAT

PSAT

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

Trata-se de um projeto destinado a produzir software para decidir o problema da Satisfiability Probabilística (PSAT) sob uma abordagem lógica.

história da versão

  • Versão PsatColGen postado em 2011-03-16
    Várias correções e atualizações
  • Versão N/A postado em 2011-03-16

Detalhes do programa

Programas Relacionados

  • UrlPaster Bookmark Manager Julgamento Gratuito

    Você enfrenta o problema : é mais difícil encontrar um item favorito de marcadores de cada vez mais marcadores em favoritos do IE ?Sente-se desencorajador quando enfrentou os favoritos do navegador IE vazios após a reinstal

  • TeleMessage MS-Outlook Plug-in (Corporate 10,000 Messages) Julgamento Gratuito

    O plugin TeleMessage MS-Outlook permite-lhe enviar e-mails como mensagens de texto SMS, chamadas telefónicas e faxes. Também pode receber notificações por e-mail, lembretes de reunião e resposta a e-mail no seu telemóvel. A n

  • PC MP3 Splitter Julgamento Gratuito

    O PC MP3 Splitter 1.2 permite-lhe dividir e cortar ficheiros de áudio MP3, WAV, WMA, facilmente! Tudo por poucos cliques de rato, com resultados de alta qualidade. Pode dividir os ficheiros de áudio MP3 por 3 modos, facilment

  • MIREX Grátis

    A MIREX (MapReduce Information Retrieval Experiments) fornece soluções para realizar experiências de recuperação de informação em larga escala num conjunto de máquinas que utilizam o Hadoop. A versão 0.2 tem ferramentas para

  • carpool mumbai Grátis

    Carpool,Carpooling,Carpool India,Carpool Delhi,Carpool Noida,Carpool Mumbai,Carpool Bangalore,Carpool Hyderabad,Rideshare,Carshare,Carpool de Deli a Noida, http://poolmycar.in/

  • Science Fiction 2D Game Engine Grátis

    Motor de jogo 2D orientado para objetos modulares e multiplataforma. Está programado em C++ e utiliza algumas bibliotecas SDL para interação de E/S e sincronização. No início, parece uma utilidade para o desenvolvimento do jo

  • Wakeup Julgamento Gratuito

    Wakeup - ferramenta de despertar remoto (ligado) via LAN. É simplesmente - Selecione computadores da lista e prima "Wake!" botão ! Os computadores podem ser despertados do sono, de prontidão, hibernação, de energia

  • XTBG - Expiremental turn based game Grátis

    Jogo baseado em curvas expiramental, projetado como playground para testar mecanismos de evento dinâmicos e de resposta a eventos.

  • KaZaA Lite Plus Grátis

    KaZaA Lite Plus é um cliente de partilha de ficheiros de código aberto que pesquisa a rede de acesso rápido em que a KaZaA e a Grokster funcionam, e também procura a rede Gnutella2, pelo que existem muito mais ficheiros do qu

  • KABcam Julgamento Gratuito

    Mostre o seu mundo à web com KABcam! Com o software de webcam KABcam pode publicar até as imagens minúsculas na sua página web de forma rápida e fácil. Adicione um banner de texto, tempo atual, um carimbo de hora/data e até