PSAT
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/psat/files/PsatColGen/PsatColGen.tar.gz/download
Sur PSAT
Il s’agit d’un projet visant à produire des logiciels pour décider du problème de satisfiabilité probabiliste (PSAT) selon une approche logique.
Programmes connexes
-
UrlPaster Bookmark Manager Essai gratuit
Faites-vous face au problème : il est plus difficile de trouver un article de signet préféré des signets de plus en plus dans les favoris d’IE ?Vous sentez-vous découragé face aux favoris vides navigateur IE après système r
-
TeleMessage MS-Outlook Plug-in (Corporate 10,000 Messages) Essai gratuit
TeleMessage MS-Outlook plugin vous permet d’envoyer des e-mails sous forme de SMS, d’appels téléphoniques et de fax. Vous pouvez également recevoir des notifications par e-mail, des rappels de réunion et répondre aux e-mails
-
PC MP3 Splitter Essai gratuit
Le PC MP3 Splitter 1.2 vous permet de diviser et de couper les fichiers audio MP3, WAV, WMA, facilement ! Le tout en quelques clics de souris, avec des résultats de haute qualité. Vous pouvez diviser les fichiers audio MP3 pa
-
MIREX Gratuit
MIREX (MapReduce Information Retrieval Experiments) fournit des solutions pour exécuter facilement et rapidement des expériences de récupération d’informations à grande échelle sur un groupe de machines utilisant Hadoop. La v
-
carpool mumbai Gratuit
Covoiturage, Covoiturage, Carpool India,Carpool Delhi,Carpool Noida,Carpool Mumbai,Carpool Bangalore,Carpool Hyderabad,Rideshare,Carshare,Carpool from delhi to Noida, http://poolmycar.in/
-
Science Fiction 2D Game Engine Gratuit
Moteur de jeu 2D modulaire et multiplateforme orienté objet. Il est programmé en C++ et utilise quelques bibliothèques SDL pour l’interaction i/o et la synchronisation. Au début, il semble être un utilitaire pour le développe
-
Wakeup Essai gratuit
Réveil - outil de réveil à distance (alimentation) via LAN. C’est tout simplement - Sélectionnez les ordinateurs de la liste et appuyez sur "Wake!" bouton ! Les ordinateurs peuvent être réveillés du sommeil, en veil
-
XTBG - Expiremental turn based game Gratuit
Jeu basé sur le tour expirmental, conçu comme terrain de jeu pour tester les mécanismes dynamiques de sheduling d’événement et de réponse d’événement.
-
KaZaA Lite Plus Gratuit
KaZaA Lite Plus est un client de partage de fichiers open source qui recherche le réseau accéléré sur lequel KaZaA et Grokster s’exécutent, et recherche également le réseau Gnutella2, il y a donc beaucoup plus de fichiers que
-
KABcam Essai gratuit
Montrez votre monde sur le web avec KABcam! Avec le logiciel de webcam KABcam, vous pouvez publier des images à la minute sur votre page Web rapidement et facilement. Ajoutez une bannière textuelle, la météo actuelle, un ti