ToolBar: Project Home – MulCyber

Project description

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.

Latest File Releases
Package Version Date Notes Monitor Download
toolbar Release 3.1 December 8, 2006 toolbar - Release Notes toolbar - Monitor this package toolbar Release 3.1 - Download
benchs Benchs for BTD July 11, 2007 benchs - Release Notes benchs - Monitor this package benchs Benchs for BTD - Download
maxsat-benchs Release 3.0 August 18, 2006 maxsat-benchs - Release Notes maxsat-benchs - Monitor this package maxsat-benchs Release 3.0 - Download
toolbar-BTD Release-2-3 July 11, 2007 toolbar-BTD - Release Notes toolbar-BTD - Monitor this package toolbar-BTD Release-2-3 - Download
Public Areas
Tracker Tracker
 Public Forums (2 messages in 2 forums)
 Mailing Lists (2 public mailing lists)
There are no public subprojects available
 Surveys (0 surveys)
 SCM Repository (CVS: 1,396 commits, 8,904 adds)
Latest News
No News Items Found
Powered By FusionForge