File solve-diophantine.test.ts

test/compute-engine/solve-diophantine.test.ts:None–None

import { ComputeEngine } from '../../src/compute-engine';
import type { BoxedExpression } from '../../src/compute-engine/global-types';

// A dedicated engine: several tests DECLARE integer-typed unknowns (and one