Zebra - Summary
Group identification
Id: 1445
System Name: zebra-constraint
Name: Zebra
Group Type: non-GNU software and documentation
Search in this Group
This group is not part of the GNU Project.
Zebra is a software dedicated to solve Constraint Satisfaction Problems. It will contains most of the known solving algorithms (MAC, Backtracking, Backjumping, ...) and will allow to generate reports about the resolution (number of constraint checks, ...)
Registration Date: Thu 21 Feb 2002 07:54:25 PM UTC
License: GNU General Public License v2 or later
Development Status: 0 - Undefined
Communication Tools
Tech Support Manager (open items: 0, total: 1)
Mailing Lists (1 public mailing list)
Development Tools
Bug Tracker (open items: 0, total: 0)
Task Manager (open items: 0, total: 0)
- Browse open items
Submit a new item
Powered by Savane 3.14-60ba.
Corresponding source code