Last released Sep 13, 2024
A rideshare planner that gives an optimal plan for multiple drivers and passengers using Z3 Solver
Supported by
