change nlp_solver Oracles class to use C diffengine (and adds setup for everything)#131

Merged

dance858 merged 55 commits intomasterfrom

diffengine-setup

Jan 31, 2026

Commits on Jan 30, 2026

Integrate DNLP diff engine into NLP solver Oracles class

Transurgeon
and
claude
committed
Update TODO tracking for diff engine atom status

Transurgeon
and
claude
committed
added converter to multiply

dance858
authored and
Transurgeon
committed
Optimize Oracles class: remove redundant forward calls and simplify value extraction

Transurgeon
and
claude
committed
Update TODO tracking for diff engine atom status

Transurgeon
and
claude
committed
Update TODO tracking: 14/15 test_nlp_solvers tests now passing

Transurgeon
and
claude
committed
Update TODO with full NLP test suite results

Transurgeon
and
claude
committed
Clarify MulExpression: matrix @ matrix where both depend on variables

Transurgeon
and
claude
committed
Update TODO: Prod atom now implemented (13/14 tests pass)

Transurgeon
and
claude
committed
Add diff_engine integration layer for CVXPY-to-C expression conversion

Transurgeon
and
claude
committed
Fix E402 lint errors: combine docstrings

Transurgeon
and
claude
committed
debugging

dance858
authored and
Transurgeon
committed
super nasty buggit statusgit status

dance858
authored and
Transurgeon
committed
equivalent treatment of (n, ) as numpy and cvxpy. Very subtle

dance858
authored and
Transurgeon
committed
multiply

dance858
authored and
Transurgeon
committed
converters

dance858
authored and
Transurgeon
committed
relative entropy converter

dance858
authored and
Transurgeon
committed
clean up oracle jacobian

dance858
authored and
Transurgeon
committed
cleaned up jacobian oracle a bit

dance858
authored and
Transurgeon
committed
minor

dance858
authored and
Transurgeon
committed
cleaned up oracle class

dance858
authored and
Transurgeon
committed
best of fix and added derivative checker class

dance858
authored and
Transurgeon
committed
removed hacky logic with many reshapes to handle numpy's weird broadcasting rule. This is now internally done in the diff engine

dance858
authored and
Transurgeon
committed
removed skipping of tests (fixed with new matmul convention)

dance858
authored and
Transurgeon
committed
prod converter

dance858
authored and
Transurgeon
committed
prod with axis one

dance858
authored and
Transurgeon
committed
matmul

dance858
authored and
Transurgeon
committed
stress_tests_diff_engine/

dance858
authored and
Transurgeon
committed
random initial points

dance858
authored and
Transurgeon
committed
test for sum

dance858
authored and
Transurgeon
committed
added power flow as a test and started on transpose converter

dance858
authored and
Transurgeon
committed
cleaned up convert_matmul so we take advantage of sparsity

dance858
authored and
Transurgeon
committed
added test for sparse matrix vector

dance858
authored and
Transurgeon
committed
small edit to test

dance858
authored and
Transurgeon
committed
cleaned up converter of multiply

dance858
authored and
Transurgeon
committed
clean up quad form converter

dance858
authored and
Transurgeon
committed
changed name of test

dance858
authored and
Transurgeon
committed
added derivative checker to all tests

dance858
authored and
Transurgeon
committed
added hstack in converter and as test

dance858
authored and
Transurgeon
committed
trace converter

dance858
authored and
Transurgeon
committed
transpose converter

dance858
authored and
Transurgeon
committed
test_affine_matrix_atoms.py

dance858
authored and
Transurgeon
committed
diag_vec converter and tests

Transurgeon
and
claude
committed
Add diff_engine_core as git submodule

Transurgeon
and
claude
committed
Add diff_engine build infrastructure and CI submodule checkout

Transurgeon
and
claude
committed
Remove submodules: recursive from workflows that don't need NLP

Transurgeon
and
claude
committed
Fix PowerApprox support after upstream Power/PowerApprox split

Transurgeon
and
claude
committed
Fix Linux build: define _POSIX_C_SOURCE for clock_gettime

Transurgeon
and
claude
committed
Fix p_rational -> p_used and add Approx atom support

Transurgeon
and
claude
committed
Add DIFF_ENGINE_VERSION macro for pip builds

Transurgeon
and
claude
committed
add debug output test-nlp-solvers
dance858
committed
Thread verbose parameter to C diff engine and remove debug prints

Transurgeon
and
claude
committed
Fix import formatting and update diff_engine_core submodule

Transurgeon
and
claude
committed

Commits on Jan 31, 2026