TypeScript tool that auto-discovers, tracks, and manages SQLite databases across a workspace, with real-time monitoring, pooling, and cross-database operations.

Visualization tool for contig-level viral integration and MCPV link plots from targeted capture sequencing.

In this project, we will explore how the problem of the Multiple Couriers Planning (MCP) is modeled and discuss various approaches to address it: Constraint Programming (CP), Satisfiability Modulo Theories (SMT) and Mixed-Integer Linear Programming (MIP).