ThomasITU/EECS-149-2024-project

Implementation for Multi-Robot task allocation with SMT-solver and computer vision