Copilot bd0eba812d Add RCF (Real Closed Field) bindings to C++, Java, C#, and TypeScript (#8171) ... * Initial plan * Add RCF (Real Closed Field) bindings to C++ API Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add RCF (Real Closed Field) bindings to Java API Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add RCF (Real Closed Field) bindings to C# (.NET) API Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add RCF (Real Closed Field) example for TypeScript/JavaScript API Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Add comprehensive RCF implementation summary documentation Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>		2026-01-12 16:34:42 -08:00
..
example-raw.ts	Update emscripten (#7473)	2024-12-06 18:11:14 -08:00
rcf-example.ts	Add RCF (Real Closed Field) bindings to C++, Java, C#, and TypeScript (#8171)	2026-01-12 16:34:42 -08:00
test-ts-api.ts	Update emscripten (#7473)	2024-12-06 18:11:14 -08:00