GitHub repository: AnshKetchum/149project
Primary language: Python
Description: Implementation for Multi-Robot task allocation with SMT-solver and computer vision