{"id":43302325,"url":"https://github.com/coin-or/SHOT","last_synced_at":"2026-02-12T20:01:31.824Z","repository":{"id":39588147,"uuid":"135558985","full_name":"coin-or/SHOT","owner":"coin-or","description":"A solver for mixed-integer nonlinear optimization problems","archived":false,"fork":false,"pushed_at":"2026-02-03T20:31:13.000Z","size":29143,"stargazers_count":129,"open_issues_count":11,"forks_count":26,"subscribers_count":10,"default_branch":"master","last_synced_at":"2026-02-04T09:29:57.337Z","etag":null,"topics":["global-optimization","minlp","optimization","optimization-library","optimization-methods","solver"],"latest_commit_sha":null,"homepage":"https://shotsolver.dev","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"epl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/coin-or.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2018-05-31T09:00:20.000Z","updated_at":"2026-01-09T21:44:55.000Z","dependencies_parsed_at":"2023-02-11T05:00:37.980Z","dependency_job_id":"ac9c4fbd-3541-4d30-8a10-749810c4e3b2","html_url":"https://github.com/coin-or/SHOT","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/coin-or/SHOT","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coin-or%2FSHOT","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coin-or%2FSHOT/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coin-or%2FSHOT/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coin-or%2FSHOT/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/coin-or","download_url":"https://codeload.github.com/coin-or/SHOT/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coin-or%2FSHOT/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29379660,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-12T19:05:20.189Z","status":"ssl_error","status_checked_at":"2026-02-12T19:01:44.216Z","response_time":55,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["global-optimization","minlp","optimization","optimization-library","optimization-methods","solver"],"created_at":"2026-02-01T20:00:27.780Z","updated_at":"2026-02-12T20:01:31.819Z","avatar_url":"https://github.com/coin-or.png","language":"C++","readme":"The Supporting Hyperplane Optimization Toolkit\n\nSHOT is a software for solving mathematical optimization problems of the mixed-integer nonlinear programming (MINLP) class. In addition to MINLP problems, SHOT can also be used for subclasses such as NLP and MI(QC)QP.\n\nOriginally SHOT was intended for convex MINLP problems only, but as of version 1.0 it also has functionality to solve nonconvex MINLP problems as a heuristic method without providing any guarantees of global optimality. SHOT can solve certain nonconvex problem types to global optimality as well, and the bounds for the objective function value are guaranteed for nonconvex problems as well.\n\nSHOT can be used\n- as a console application,\n- from GAMS (https://www.gams.com),\n- from any modeling system that can use ASL, such as\n  - Pyomo/Python (https://www.pyomo.org), \n  - JuMP/Julia (https://github.com/JuliaOpt/AmplNLWriter.jl), and \n  -  AMPL (https://www.ampl.com),\n- using its API implemented in C++.\n\nSHOT requires a MILP solver: Cplex (https://www.ibm.com/analytics/cplex-optimizer), Gurobi(https://www.gurobi.com) or Cbc (https://www.github.com/coin-or/Cbc). In addition an NLP solver is required; currently only Ipopt (https://www.github.com/coin-or/Ipopt) is supported. If SHOT is interfaced with GAMS, any licensed NLP solver can be used.\n\nThe documentation is provided at the project website at https://www.shotsolver.dev.\n\nSHOT is a COIN-OR project.Project manager is Andreas Lundell. A full list of contributors is available on the  project website (https://shotsolver.dev/shot/about-shot/contributors).\n\nDual bound through polyhedral (outer) approximation\n\nSHOT is based on iteratively creating a tighter polyhedral approximation of the nonlinear feasible set by generating supporting hyperplanes or cutting planes. These linearized problems are then solved with an mixed-integer linear programming (MILP) solver such as CPLEX, Gurobi or Cbc. If CPLEX or Gurobi is used, the subproblems can also include quadratic and bilinear nonlinearities directly; then MIQP or MIQCQP subproblems are solved. \n\nPrimal bound using heuristics\n\nThe solution to the outer approximation problem provides a lower (dual) bound (when solving a minimization problem) to the original problem if the problem is convex. If the problem is nonconvex, convergence to the global optimal solution cannot be guaranteed (but might be achieved for certain classes of problems, cf. http://www.optimization-online.org/DB_HTML/2020/03/7691.html. \n\nTo get an upper (primal) bound (when solving a minimization problem) on the optimal solution SHOT utilizes the following heuristics:\n- Solving nonlinear programming (NLP) problems where the integer variables have been fixed to valid values. This is done by calling an external NLP solver (e.g. Ipopt).\n- By checking solutions from the MIP solver's solution pool for points that fulfill also the nonlinearities in the original MINLP problem.\n- By performing root searches. \n\nTermination\n\nWhen the relative or absolute difference (objective gap) between the primal and dual bounds is less than a user-specified value, SHOT terminates with the current primal solution. If the original problem is convex, this is a global solution to the problem. If it is nonconvex, there is normally no guarantee that such a solution can be found, however SHOT will always in addition to the primal solution give a valid lower bound on the solution. \n\nCompilation instructions\n\nInstructions for compiling SHOT is available at the project website (https://shotsolver.dev/shot/about-shot/compiling).\n\nSolver manual\n\nInstructions for how to use SHOT, e.g. call it from different environments, are provided on the project website (https://shotsolver.dev/shot/using-shot/getting-started).\n\nPublications\n\nSHOT is best described in the paper:\n\nLundell, A. Kronqvist, J. and Westerlund, T. *The Supporting Hyperplane Optimization Toolkit: A Polyhedral Outer Approximation Based \nConvex MINLP Solver Utilizing a Single Branching Tree Approach* (2018). http://www.optimization-online.org/DB_FILE/2018/06/6680.pdf\n\nThe features for solving nonconvex MINLP problems are described in the papers:\n\nLundell, A. and Kronqvist, J., Polyhedral Approximation Strategies in Nonconvex Mixed-Integer Nonlinear Programming. Optimization Online (2020). http://www.optimization-online.org/DB_HTML/2020/03/7691.html\n\nLundell, A. and Kronqvist, J. On Solving Nonconvex MINLP Problems with SHOT (2019). In: Le Thi H., Le H., Pham Dinh T. (editors) Optimization of Complex Systems: Theory, Models, Algorithms and Applications. WCGO 2019. Advances in Intelligent Systems and Computing, vol 991. Springer, Cham.","funding_links":[],"categories":["[Libraries](#awesome-robotics-libraries)"],"sub_categories":["[Optimization](#awesome-robotics-libraries)"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoin-or%2FSHOT","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcoin-or%2FSHOT","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoin-or%2FSHOT/lists"}