Abstract: This study develops a sequential quadratic programming algorithm for managing electric vehicle (EV) charging power in a charging station powered by a photovoltaic (PV) system, the power grid ...

Abstract: The Barito River Basin, a crucial water resource in Indonesia, is facing significant environmental challenges due to rapid urbanization, industrialization, and agricultural activities. These ...

This repository provides a solution to the standard Capacitated Vehicle Routing Problem with Time Windows (CVRPTW). In a CVRPTW, we aim to optimize the routes of a fleet of vehicles serving customers ...

It is designed as a scalable solver for recursive logic constraints. Suitable but not only for test generation, symbolic execution and program synthesis. You can use ...