HiGHS

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

11:49

2026-06-20

datavorous.github.io

ai-infrastructure

Reverse Engineering the Qualcomm NPU Compiler

A developer reverse-engineered Qualcomm's NPU compiler to uncover undocumented details about Hexagon Tensor Processor memory management, revealing that VTCM placement uses mixed-integer linear program…

09:35

2026-06-15

github.com

artificial-intelligence

CPMpy: Constraint Programming and Modeling library in Python, based on NumPy

CPMpy, a constraint programming and modeling library for Python based on NumPy, has been released. It provides solver-agnostic support for CP, ILP, SMT, PB, and SAT solvers, with decision variables as…

// co-occurs with top 8 entities

CPMpy 1 NumPy 1 OR-Tools 1 IBM CP Optimizer 1 SCIP 1 Gurobi 1 Z3 1 Qualcomm 1

// topics top 6 topics

machine learning 2 developer tools 2 artificial intelligence 1 ai infrastructure 1 ai chips 1 ai tools 1