Ochibobo Warren
Just a Kenyan interested in the pursuit of knowledge and it's application towards enriching human experiences.
Session
08-13
16:45
15min
ORTools.jl: CP-SAT through JuMP
Ochibobo Warren
Following our introduction of ORTools.jl, this session focuses on the specialized integration of Google’s CP-SAT solver within the JuMP ecosystem. We move beyond the general package overview to examine the specific implementation of CP-SAT for Julia users. The talk covers the technical mapping of constraints to the solver’s interface and discusses the development challenges encountered when bridging CP-SAT with Julia.
General
Room 5