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.

No tag defined for this project

• Development Status : 2 - Pre-Alpha
• Environment : Console (Text Based)
• Intended Audience : Other Audience
• License : OSI Approved : Artistic License
• Natural Language : English
• Operating System : Microsoft : Windows
• Operating System : POSIX : Linux
• Operating System : POSIX : SunOS/Solaris
• Programming Language : C
• Topic : Scientific/Engineering : Artificial Intelligence