ToolBar: Page d'accueil du projet – MulCyber

Description du projet

ToolBar is an open source weighted constraint satisfaction and weighted Max-SAT solver. It is currently jointly developped by people in Toulouse and Barcelone, hence the name of the tool.

Information sur un projet

Ce projet n'a pas défini d'étiquettes.


Date d'inscription :24/09/2004 17:37
Rang d'activité : 0
Voir les statistiques ou le rapport d'activité pour le projet.
Voir la liste des flux RSS disponibles pour ce projet. 
Derniers fichiers publiés
Paquet Version  Date Remarques Surveiller Télécharger
toolbar Release 3.1 December 8, 2006 toolbar - Notes toolbar - Suivre ce paquet toolbar Release 3.1 - Télécharger
benchs Benchs for BTD July 11, 2007 benchs - Notes benchs - Suivre ce paquet benchs Benchs for BTD - Télécharger
maxsat-benchs Release 3.0 August 18, 2006 maxsat-benchs - Notes maxsat-benchs - Suivre ce paquet maxsat-benchs Release 3.0 - Télécharger
toolbar-BTD Release-2-3 July 11, 2007 toolbar-BTD - Notes toolbar-BTD - Suivre ce paquet toolbar-BTD Release-2-3 - Télécharger
Zones publiques
Outil de suivi Outil de suivi
 Forums publics (2 messages in 2 forums)
 Listes de diffusion (2 listes de diffusion publiques)
 Tâches
Il n'y a pas de sous-projet public
 Sondages (0 Sondages)
 Dépôt de sources (CVS: 1,396 envois, 8,904 ajouts)
Dernières annonces
Pas d'annonce
Powered By FusionForge