gecode
Toolkit for developing constraint-based systems and applications
Current versions:
| stable | ✅ | 6.0.0 |
| bottle | 🍾 | high_sierra, sierra, el_capitan |
Options:
| --with-qt | Build with qt support |
Depends on optionally:
| qt | ✅ | 5.11.0 | Cross-platform application and UI framework |
Formula code on GitHub
