Solving large-scale combinatorial optimization problems quickly.
SCOP (Solver for Constraint Programming) is a solver designed to quickly solve large-scale combinatorial optimization problems. By utilizing solution principles specialized for combinatorial optimization problems, SCOP can efficiently explore good solutions even for large problems that traditional mathematical optimization solvers cannot handle. Features: By defining variables in a different way than mathematical optimization solvers, it can significantly reduce the number of variables, enabling fast solutions. It allows for a more natural logical constraint description that is easier for humans to understand compared to mathematical optimization solvers. Based on metaheuristics, it possesses world-class search capabilities. Even for large-scale problems, it can solve them extremely efficiently within limited computation time. It provides data input through a simple modeling language and a Python language interface.
Inquire About This Product
basic information
Supported OS environments: Windows 64-bit Mac OS 64-bit Linux (Ubuntu) 64-bit
Price information
Inquiry
Delivery Time
Applications/Examples of results
Benchmark Results: Time Table Creation 2nd International Competition ITC2007: Track 1 (Exam Timetable): 3rd place, Track 2 (University Timetable): 2nd place, Track 3 (High School Timetable): 3rd place (The only algorithm that placed within the top three in all three tracks is the one that SCOP is based on). Nurse Scheduling Shift Creation 1st International Competition INRC 2010: Track 1 (10 seconds): 2nd place, Track 2 (10 minutes): 3rd place, Track 3 (10 hours): 4th place. Applications: It can solve a wide range of combinatorial optimization problems, and for assignment problems, it allows for very natural modeling that is easy for humans to understand, enabling fast generation of good solutions. - Staff allocation optimization - Meeting scheduling - Job assignment - Room allocation - Production optimization - Input order determination - Advertising allocation, etc. In staff allocation optimization, considering shifts and tasks simultaneously (a problem of deciding which tasks to perform during which hours within assigned shifts, which is significantly more difficult than just creating shifts, such as on a daily basis or in a three-shift system), it can produce good solutions in just a few minutes for a one-month schedule for 80 people in 30-minute increments. (SCOP is designed to provide the best solution within the computation time set by the user.)
Line up（5）
| Model number | overview |
|---|---|
| Scheduling Optimization Solver OptSeq | A solver for quickly solving large-scale scheduling optimization problems https://www.logopt.com/optseq/ |
| Delivery Optimization Solver METRO | A solver for quickly solving large-scale delivery optimization problems https://www.logopt.com/metrosolver/ |
| Set Covering Optimization Solver OptCover | A solver for quickly solving large-scale set covering problems https://www.logopt.com/optcover/ |
| Mathematical Optimization Solver Gurobi Optimizer | A fast mathematical optimization solver https://www.logopt.com/gurobi/ |
| Supply Chain Integrated Optimization System SCMOPT | A system for supply chain optimization https://www.logopt.com/demo/ |
catalog（1）
Download All Catalogs
Company information
Our company was established in 1991 to provide the highest level of technology for optimization in logistics (supply chain). Since then, we have expanded the scope of our optimization solutions beyond the supply chain, and since around 2016, we have also been providing data analysis solutions using AI. We operate in Japan, China, and South Korea. With technical support from university professors who have extensive practical experience in the field of mathematical optimization both domestically and internationally, we develop products and provide services that enable us to solve difficult optimization problems that other companies cannot address, thus offering world-class optimization solutions.