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

PSAT

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

Trata-se de um projeto destinado a produzir softwares para decidir o problema de sistfiabilidade 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 Avaliação gratuita

    Você enfrenta o problema : é mais difícil encontrar um item de marca favorito a partir dos mais e mais marcadores nos favoritos do IE ?Você se sente desencorajador quando enfrenta os favoritos do navegador IE vazios após o

  • TeleMessage MS-Outlook Plug-in (Corporate 10,000 Messages) Avaliação gratuita

    O plugin DO TeleMessage MS-Outlook permite que você envie e-mails como mensagens de texto SMS, telefonemas e faxes. Você também pode receber notificações por e-mail, lembretes de reunião e responder a e-mails no seu celular.

  • PC MP3 Splitter Avaliação gratuita

    O PC MP3 Splitter 1.2 permite que você divida e corte MP3, WAV, arquivos de áudio WMA, facilmente! Tudo por poucos cliques do mouse, com resultados de alta qualidade. Você pode dividir os arquivos de áudio MP3 por 3 modos, fa

  • MIREX Livre

    O MIREX (MapReduce Information Retrieval Experiments) fornece soluções para executar facilmente e rapidamente experimentos de recuperação de informações em larga escala em um conjunto de máquinas usando Hadoop. A versão 0.2 t

  • carpool mumbai Livre

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

  • Science Fiction 2D Game Engine Livre

    Motor de jogo 2D orientado a objetos modulares e multiplataformas. É programado em C++ e usa algumas bibliotecas SDL para interação e sincronização de I/O. No início, parece um utilitário para o desenvolvimento de jogos, mas

  • Wakeup Avaliação gratuita

    Wakeup - ferramenta de despertar remoto (ligar) via LAN. É simples - Selecione computadores da lista e pressione "Wake!" botão ! Computadores podem ser acordados do sono, espera, hibernar, desligar estados.

  • XTBG - Expiremental turn based game Livre

    Jogo baseado em turn expiremental, projetado como playground para testar mecanismos dinâmicos de realização de eventos e de resposta a eventos.

  • KaZaA Lite Plus Livre

    KaZaA Lite Plus é um cliente de compartilhamento de arquivos de código aberto que pesquisa a rede fast track que KaZaA e Grokster executam, e também pesquisa a rede Gnutella2, então há muito mais arquivos do que KaZaA Media D

  • KABcam Avaliação gratuita

    Mostre seu mundo para a web com a KABcam! Com o software de webcam KABcam você pode publicar até as imagens minúsculas em sua página da Web de forma rápida e fácil. Adicione um banner de texto, tempo atual, um carimbo de ho